the fact that there exists something such that if the fact that it does heft Guinevere and it is a light-o'-love is not incorrect it is not binoculars is false.
sent1: the assibilation is a kind of a light-o'-love. sent2: if the tough hefts Guinevere the fact that it is experimental is not incorrect. sent3: if the fact that the tussah is not a kidney hold the coma is secular but not a cottonmouth. sent4: the coma is not a kind of a cottonmouth. sent5: the coma is falconine if it is secular but not a cottonmouth. sent6: if the tough does heft Guinevere and is not unargumentative then it is synoptic. sent7: the tussah is not a kidney. sent8: the coma is not falconine if the tough is both not non-experimental and not non-binoculars.
void -> assump2: Let's assume that the tough hefts Guinevere and it is a light-o'-love.; assump2 -> int1: the tough hefts Guinevere.; int1 & sent2 -> int2: the tough is experimental.; void -> assump1: Let's assume that the tough is binoculars.; int2 & assump1 -> int3: the tough is experimental and it is binoculars.; int3 & sent8 -> int4: the coma is not falconine.; sent3 & sent7 -> int5: the coma is secular thing that is not a cottonmouth.; sent5 & int5 -> int6: the coma is falconine.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the tough is not binoculars.; [assump2] & int8 -> int9: the tough is not binoculars if it hefts Guinevere and it is a light-o'-love.; int9 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it does heft Guinevere and it is a light-o'-love is not incorrect it is not binoculars is false. ; $context$ = sent1: the assibilation is a kind of a light-o'-love. sent2: if the tough hefts Guinevere the fact that it is experimental is not incorrect. sent3: if the fact that the tussah is not a kidney hold the coma is secular but not a cottonmouth. sent4: the coma is not a kind of a cottonmouth. sent5: the coma is falconine if it is secular but not a cottonmouth. sent6: if the tough does heft Guinevere and is not unargumentative then it is synoptic. sent7: the tussah is not a kidney. sent8: the coma is not falconine if the tough is both not non-experimental and not non-binoculars. ; $proof$ = 
void -> assump2: Let's assume that the tough hefts Guinevere and it is a light-o'-love.; assump2 -> int1: the tough hefts Guinevere.; int1 & sent2 -> int2: the tough is experimental.; void -> assump1: Let's assume that the tough is binoculars.; int2 & assump1 -> int3: the tough is experimental and it is binoculars.; int3 & sent8 -> int4: the coma is not falconine.; sent3 & sent7 -> int5: the coma is secular thing that is not a cottonmouth.; sent5 & int5 -> int6: the coma is falconine.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the tough is not binoculars.; [assump2] & int8 -> int9: the tough is not binoculars if it hefts Guinevere and it is a light-o'-love.; int9 -> hypothesis; __DISPROVED__