something is uncousinly and/or not non-amalgamative.
sent1: the clergyman straps Mohave. sent2: the Mohave is not fermentable and it does not fabricate ornamentalism if the cowlick does not fabricate ornamentalism. sent3: if the cowlick fabricates ornamentalism then the clergyman is a kind of an enjoyment and/or is not a kind of a hymenopteran. sent4: The Mohave straps clergyman. sent5: the fact that the clergyman is an enjoyment and/or it is not a kind of a hymenopteran is false if it straps Mohave. sent6: something is not uncousinly if it is not amalgamative and/or it is not uncousinly. sent7: the piton is uncousinly if the Mohave is non-fermentable thing that does not fabricate ornamentalism.
void -> assump1: Let's assume that that the cowlick fabricates ornamentalism hold.; sent3 & assump1 -> int1: the clergyman is a kind of an enjoyment and/or it is not a hymenopteran.; sent5 & sent1 -> int2: the fact that the clergyman is an enjoyment and/or not a hymenopteran is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cowlick does not fabricate ornamentalism.; int4 & sent2 -> int5: the Mohave is not fermentable and does not fabricate ornamentalism.; int5 & sent7 -> int6: the piton is uncousinly.; int6 -> int7: the piton is uncousinly and/or it is amalgamative.; int7 -> hypothesis;
the piton is top-down.
sent6 -> int8: that the piton is not uncousinly is correct if it is non-amalgamative and/or it is not uncousinly.;
$hypothesis$ = something is uncousinly and/or not non-amalgamative. ; $context$ = sent1: the clergyman straps Mohave. sent2: the Mohave is not fermentable and it does not fabricate ornamentalism if the cowlick does not fabricate ornamentalism. sent3: if the cowlick fabricates ornamentalism then the clergyman is a kind of an enjoyment and/or is not a kind of a hymenopteran. sent4: The Mohave straps clergyman. sent5: the fact that the clergyman is an enjoyment and/or it is not a kind of a hymenopteran is false if it straps Mohave. sent6: something is not uncousinly if it is not amalgamative and/or it is not uncousinly. sent7: the piton is uncousinly if the Mohave is non-fermentable thing that does not fabricate ornamentalism. ; $proof$ = 
void -> assump1: Let's assume that that the cowlick fabricates ornamentalism hold.; sent3 & assump1 -> int1: the clergyman is a kind of an enjoyment and/or it is not a hymenopteran.; sent5 & sent1 -> int2: the fact that the clergyman is an enjoyment and/or not a hymenopteran is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cowlick does not fabricate ornamentalism.; int4 & sent2 -> int5: the Mohave is not fermentable and does not fabricate ornamentalism.; int5 & sent7 -> int6: the piton is uncousinly.; int6 -> int7: the piton is uncousinly and/or it is amalgamative.; int7 -> hypothesis; __PROVED__