the grouch is brought about by the spotting predestination.
sent1: if the beating levanter happens then the aluminousness occurs. sent2: that if the fact that the grouch and the winnow occurs does not hold then the grouch does not occur is true. sent3: that both the aluminousness and the powderizing happens triggers that the spotting predestination does not occur. sent4: either the courtship or the whisper or both occurs. sent5: the beating levanter happens. sent6: both the unsweptness and the fencing occurs. sent7: the battue happens. sent8: the fudging imidazole does not occur and the detention occurs. sent9: if the aluminousness happens and the powderizing happens the spotting predestination happens. sent10: the fact that the hassle occurs is not wrong if the fudging self-absorption does not occur. sent11: the phlegminess happens if that the whisper occurs is right. sent12: if the maternalness does not occur then that both the grouching and the winnow occurs is incorrect. sent13: both the beating Lygus and the hassle occurs if the fudging self-absorption does not occur. sent14: the fact that the version occurs is right. sent15: if the beating levanter does not occur and the aluminousness does not occur then the hairlessness does not occur. sent16: the hassle occurs. sent17: the grouch occurs if the powderizing does not occur but the beating Lygus happens. sent18: the fudging self-absorption prevents that the hassle does not occur.
sent1 & sent5 -> int1: that the aluminousness occurs hold.; void -> assump2: Let's assume that the powderizing occurs.; int1 & assump2 -> int2: both the aluminousness and the powderizing happens.; int2 & sent3 -> int3: the spotting predestination does not occur.; void -> assump1: Let's assume that the spotting predestination happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the powderizing does not occur.;
the hairlessness does not occur.
$hypothesis$ = the grouch is brought about by the spotting predestination. ; $context$ = sent1: if the beating levanter happens then the aluminousness occurs. sent2: that if the fact that the grouch and the winnow occurs does not hold then the grouch does not occur is true. sent3: that both the aluminousness and the powderizing happens triggers that the spotting predestination does not occur. sent4: either the courtship or the whisper or both occurs. sent5: the beating levanter happens. sent6: both the unsweptness and the fencing occurs. sent7: the battue happens. sent8: the fudging imidazole does not occur and the detention occurs. sent9: if the aluminousness happens and the powderizing happens the spotting predestination happens. sent10: the fact that the hassle occurs is not wrong if the fudging self-absorption does not occur. sent11: the phlegminess happens if that the whisper occurs is right. sent12: if the maternalness does not occur then that both the grouching and the winnow occurs is incorrect. sent13: both the beating Lygus and the hassle occurs if the fudging self-absorption does not occur. sent14: the fact that the version occurs is right. sent15: if the beating levanter does not occur and the aluminousness does not occur then the hairlessness does not occur. sent16: the hassle occurs. sent17: the grouch occurs if the powderizing does not occur but the beating Lygus happens. sent18: the fudging self-absorption prevents that the hassle does not occur. ; $proof$ = 
sent1 & sent5 -> int1: that the aluminousness occurs hold.; void -> assump2: Let's assume that the powderizing occurs.; int1 & assump2 -> int2: both the aluminousness and the powderizing happens.; int2 & sent3 -> int3: the spotting predestination does not occur.; void -> assump1: Let's assume that the spotting predestination happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the powderizing does not occur.; __UNKNOWN__