Apply unknownprop_08700fb4b48733315235e0f22ee71adb8a6b77bce98190c5c68f3db71be4e889 with
TwoRamseyGraph_4_6_35_b,
TwoRamseyGraph_4_6_35_a leaving 7 subgoals.
The subproof is completed by applying unknownprop_aeea293981c3c9af6808280e398d9e4b6ef422e5dcd2713bbb45b479ee30e903.
The subproof is completed by applying unknownprop_13485274604ea6dfedc070e09983ab0f1ccb5c62d659cf049b1a630e0da8e25a.
The subproof is completed by applying unknownprop_c92c0588de1ba6f1a5352aaa897a2358c5ed2f086efe24dfed8c7d8036084229.
The subproof is completed by applying unknownprop_dd555d0d79f097ab12a5874ff70f768fa00c860d0a4c1ec86afe8fd5fdd1d3bf.
The subproof is completed by applying unknownprop_5a75105f4563e5998e973f7ffe9d8ef95a777a3944a771a052833b846ada72cd.
The subproof is completed by applying unknownprop_cb3646199bdd943b9f35ea4384074b7c5c773b831781cf72f7c47626f7a767d4.
The subproof is completed by applying unknownprop_ee792cf8a02dae909509dc3a8926aa8fb8bac038a14c7f15b2e0f33849c993b0.