that that the croqueting happens and the declawing aril does not occur results in the functionalness is not true.
sent1: if the fact that the croquet occurs and the declawing aril occurs is not false then the nonfunctionalness does not occur. sent2: if the fictileness does not occur then the flashover happens. sent3: the nonfunctionalness occurs if the fact that that the flashover does not occur and the nonfunctionalness does not occur is not wrong is incorrect. sent4: the nonsectarianness occurs if the Arabian occurs. sent5: if the croqueting does not occur the confederating viatication and the figuring happens. sent6: the fictileness does not occur. sent7: the surficialness happens and the leash does not occur. sent8: if the nonsectarianness occurs and the windstorm occurs the nonfunctionalness does not occur. sent9: that the flashover and the windstorm occurs is brought about by the non-fictileness. sent10: if the declawing aril does not occur the Arabianness occurs. sent11: the flashover occurs.
void -> assump1: Let's assume that the croquet but not the declawing aril occurs.; assump1 -> int1: the declawing aril does not occur.; int1 & sent10 -> int2: the Arabianness happens.; int2 & sent4 -> int3: the nonsectarianness occurs.; sent9 & sent6 -> int4: the flashover occurs and the windstorm happens.; int4 -> int5: the windstorm happens.; int3 & int5 -> int6: the nonsectarianness and the windstorm occurs.; int6 & sent8 -> int7: the nonfunctionalness does not occur.; [assump1] & int7 -> hypothesis;
both the confederating viatication and the figuring happens.
$hypothesis$ = that that the croqueting happens and the declawing aril does not occur results in the functionalness is not true. ; $context$ = sent1: if the fact that the croquet occurs and the declawing aril occurs is not false then the nonfunctionalness does not occur. sent2: if the fictileness does not occur then the flashover happens. sent3: the nonfunctionalness occurs if the fact that that the flashover does not occur and the nonfunctionalness does not occur is not wrong is incorrect. sent4: the nonsectarianness occurs if the Arabian occurs. sent5: if the croqueting does not occur the confederating viatication and the figuring happens. sent6: the fictileness does not occur. sent7: the surficialness happens and the leash does not occur. sent8: if the nonsectarianness occurs and the windstorm occurs the nonfunctionalness does not occur. sent9: that the flashover and the windstorm occurs is brought about by the non-fictileness. sent10: if the declawing aril does not occur the Arabianness occurs. sent11: the flashover occurs. ; $proof$ = 
void -> assump1: Let's assume that the croquet but not the declawing aril occurs.; assump1 -> int1: the declawing aril does not occur.; int1 & sent10 -> int2: the Arabianness happens.; int2 & sent4 -> int3: the nonsectarianness occurs.; sent9 & sent6 -> int4: the flashover occurs and the windstorm happens.; int4 -> int5: the windstorm happens.; int3 & int5 -> int6: the nonsectarianness and the windstorm occurs.; int6 & sent8 -> int7: the nonfunctionalness does not occur.; [assump1] & int7 -> hypothesis; __DISPROVED__