if the crosscut does worsen then it is a kind of a cluck.
sent1: the crosscut is a Machiavellian if it is a kind of a Tracy. sent2: if the crosscut is not a deconstruction then it is both impolitic and a lathi. sent3: the fact that something is cutting but not harsh is not true if it is a cluck. sent4: if the crosscut is a chyle then the parallax does worsen. sent5: if the crosscut pits triphammer and is not a Cretaceous it is a Friesland. sent6: the crosscut is not a deconstruction. sent7: the fact that the crosscut is cutting thing that does pit triphammer does not hold. sent8: if something is a kind of a cutting but it does not pit triphammer then it worsens. sent9: the crosscut does not worsen if the fact that it is cutting thing that does not pit triphammer is incorrect. sent10: something is a chyle but it is not a Praetorian if it is impolitic. sent11: if the crosscut is a kind of cutting thing that does pit triphammer then it is a kind of a cluck.
void -> assump1: Let's assume that the fact that the crosscut is a kind of a cutting but it does not pit triphammer is not right.; sent9 & assump1 -> int1: the crosscut does not worsen.; void -> assump2: Let's assume that the crosscut does worsen.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the crosscut does cut but it does not pit triphammer.;
the fact that the parallax is not non-cutting and not harsh is not correct.
sent3 -> int4: that the parallax is a cutting but it is not harsh is incorrect if it is a kind of a cluck.; sent10 -> int5: the crosscut is a kind of a chyle but it is not Praetorian if that it is not impolitic does not hold.; sent2 & sent6 -> int6: the crosscut is a kind of impolitic thing that is a lathi.; int6 -> int7: the crosscut is impolitic.; int5 & int7 -> int8: the crosscut is a chyle but it is not a Praetorian.; int8 -> int9: the crosscut is a chyle.; sent4 & int9 -> int10: the parallax worsens.;
$hypothesis$ = if the crosscut does worsen then it is a kind of a cluck. ; $context$ = sent1: the crosscut is a Machiavellian if it is a kind of a Tracy. sent2: if the crosscut is not a deconstruction then it is both impolitic and a lathi. sent3: the fact that something is cutting but not harsh is not true if it is a cluck. sent4: if the crosscut is a chyle then the parallax does worsen. sent5: if the crosscut pits triphammer and is not a Cretaceous it is a Friesland. sent6: the crosscut is not a deconstruction. sent7: the fact that the crosscut is cutting thing that does pit triphammer does not hold. sent8: if something is a kind of a cutting but it does not pit triphammer then it worsens. sent9: the crosscut does not worsen if the fact that it is cutting thing that does not pit triphammer is incorrect. sent10: something is a chyle but it is not a Praetorian if it is impolitic. sent11: if the crosscut is a kind of cutting thing that does pit triphammer then it is a kind of a cluck. ; $proof$ = 
void -> assump1: Let's assume that the fact that the crosscut is a kind of a cutting but it does not pit triphammer is not right.; sent9 & assump1 -> int1: the crosscut does not worsen.; void -> assump2: Let's assume that the crosscut does worsen.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the crosscut does cut but it does not pit triphammer.; __UNKNOWN__