that the pilosebaceousness does not occur and the plating does not occur if the cogitating happens is incorrect.
sent1: if the zoicness occurs then the bicylindricalness occurs. sent2: if that the pilosebaceousness does not occur and the plating does not occur is false the zoicness happens. sent3: if either the bicylindricalness or the Litany or both occurs the cogitating does not occur. sent4: the fact that the Litany occurs is not right if the fact that the non-acronymicness or the cogitating or both happens is correct.
void -> assump1: Let's assume that the cogitating occurs.; void -> assump2: Let's assume that that the pilosebaceousness does not occur and the plating does not occur is not true.; sent2 & assump2 -> int1: that the zoicness happens is not incorrect.; sent1 & int1 -> int2: that the bicylindricalness occurs is not wrong.; int2 -> int3: the bicylindricalness occurs and/or the Litany occurs.; sent3 & int3 -> int4: the cogitating does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the pilosebaceousness does not occur and the plating does not occur.; [assump1] & int6 -> hypothesis;
the behavior occurs.
$hypothesis$ = that the pilosebaceousness does not occur and the plating does not occur if the cogitating happens is incorrect. ; $context$ = sent1: if the zoicness occurs then the bicylindricalness occurs. sent2: if that the pilosebaceousness does not occur and the plating does not occur is false the zoicness happens. sent3: if either the bicylindricalness or the Litany or both occurs the cogitating does not occur. sent4: the fact that the Litany occurs is not right if the fact that the non-acronymicness or the cogitating or both happens is correct. ; $proof$ = 
void -> assump1: Let's assume that the cogitating occurs.; void -> assump2: Let's assume that that the pilosebaceousness does not occur and the plating does not occur is not true.; sent2 & assump2 -> int1: that the zoicness happens is not incorrect.; sent1 & int1 -> int2: that the bicylindricalness occurs is not wrong.; int2 -> int3: the bicylindricalness occurs and/or the Litany occurs.; sent3 & int3 -> int4: the cogitating does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the pilosebaceousness does not occur and the plating does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__