the marsh is not a facelift.
sent1: if the backhoe does harlequin nankeen and is international it does argue. sent2: that the five does argue is correct if it is a snob. sent3: if something does not hue ninepin then that it does pass gorilla and is not recoverable is wrong. sent4: the backhoe does argue if it does harlequin nankeen and is not international. sent5: something does pass lithomancer and/or it is a snob if the fact that it does not pass gorilla is right. sent6: the five is a snob if the shebeen does pass lithomancer. sent7: The sealant does not hue aminomethane. sent8: the backhoe harlequins nankeen but it is not international if it is not a kind of a sock. sent9: if the backhoe does argue the marsh is a facelift. sent10: the aminomethane does not hue sealant. sent11: if the fact that the aminomethane does not hue sealant is correct then it is not a sock. sent12: that the backhoe hues sealant and is a facelift is incorrect if the fact that the aminomethane does not sock is true. sent13: the fact that the shebeen does not pass gorilla is not wrong if there exists something such that that it pass gorilla and is not recoverable is false. sent14: the fact that the aminomethane is international is correct. sent15: the five is a snob if the shebeen is a snob. sent16: the backhoe is not international. sent17: the backhoe is not international if that it is not a sock is true. sent18: the backhoe does hue sealant if the aminomethane does argue. sent19: the crewelwork is not Hemingwayesque. sent20: the aminomethane is not a kind of a sock if the passage does not harlequin nankeen and does not sock. sent21: something does not hue ninepin if it is not Hemingwayesque or it is not a kind of a Canute or both. sent22: that the passage does not harlequin nankeen and is not a sock if something is international is true. sent23: the aminomethane does hue sealant if the backhoe is a sock.
void -> assump1: Let's assume that the backhoe socks.; sent23 & assump1 -> int1: the aminomethane does hue sealant.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the backhoe is not a sock.; int3 & sent8 -> int4: the backhoe harlequins nankeen and is not international.; int4 & sent4 -> int5: the backhoe argues.; int5 & sent9 -> hypothesis;
the marsh is not a facelift.
sent5 -> int6: the shebeen passes lithomancer or it is a kind of a snob or both if it does not pass gorilla.; sent3 -> int7: if the crewelwork does not hue ninepin the fact that it does pass gorilla and is not recoverable is not true.; sent21 -> int8: the crewelwork does not hue ninepin if it is not Hemingwayesque and/or it is not a Canute.; sent19 -> int9: the crewelwork is either non-Hemingwayesque or not a Canute or both.; int8 & int9 -> int10: the crewelwork does not hue ninepin.; int7 & int10 -> int11: the fact that the crewelwork passes gorilla and is not recoverable is not right.; int11 -> int12: there is something such that the fact that it passes gorilla and is not recoverable is not right.; int12 & sent13 -> int13: the shebeen does not pass gorilla.; int6 & int13 -> int14: the shebeen passes lithomancer and/or is a kind of a snob.; int14 & sent6 & sent15 -> int15: the five is a snob.; sent2 & int15 -> int16: the five does argue.;
$hypothesis$ = the marsh is not a facelift. ; $context$ = sent1: if the backhoe does harlequin nankeen and is international it does argue. sent2: that the five does argue is correct if it is a snob. sent3: if something does not hue ninepin then that it does pass gorilla and is not recoverable is wrong. sent4: the backhoe does argue if it does harlequin nankeen and is not international. sent5: something does pass lithomancer and/or it is a snob if the fact that it does not pass gorilla is right. sent6: the five is a snob if the shebeen does pass lithomancer. sent7: The sealant does not hue aminomethane. sent8: the backhoe harlequins nankeen but it is not international if it is not a kind of a sock. sent9: if the backhoe does argue the marsh is a facelift. sent10: the aminomethane does not hue sealant. sent11: if the fact that the aminomethane does not hue sealant is correct then it is not a sock. sent12: that the backhoe hues sealant and is a facelift is incorrect if the fact that the aminomethane does not sock is true. sent13: the fact that the shebeen does not pass gorilla is not wrong if there exists something such that that it pass gorilla and is not recoverable is false. sent14: the fact that the aminomethane is international is correct. sent15: the five is a snob if the shebeen is a snob. sent16: the backhoe is not international. sent17: the backhoe is not international if that it is not a sock is true. sent18: the backhoe does hue sealant if the aminomethane does argue. sent19: the crewelwork is not Hemingwayesque. sent20: the aminomethane is not a kind of a sock if the passage does not harlequin nankeen and does not sock. sent21: something does not hue ninepin if it is not Hemingwayesque or it is not a kind of a Canute or both. sent22: that the passage does not harlequin nankeen and is not a sock if something is international is true. sent23: the aminomethane does hue sealant if the backhoe is a sock. ; $proof$ = 
void -> assump1: Let's assume that the backhoe socks.; sent23 & assump1 -> int1: the aminomethane does hue sealant.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the backhoe is not a sock.; int3 & sent8 -> int4: the backhoe harlequins nankeen and is not international.; int4 & sent4 -> int5: the backhoe argues.; int5 & sent9 -> hypothesis; __DISPROVED__