the ritualist is not vegetal.
sent1: if the ritualist is not vegetal and hungers Gropius the Pantaloon grumbles. sent2: if the ritualist is not a boat but spatial it hungers Gropius. sent3: if the Pantaloon does grumble then that the pistachio does not wrap deadwood and it is not a grumble is incorrect. sent4: the ritualist does not boat and is spatial. sent5: if that something is not a kind of a hire and does wrap deadwood is incorrect it does not wrap deadwood. sent6: the pistachio is not a grumble. sent7: there is nothing such that the fact that it does not hire and it wraps deadwood is true.
sent2 & sent4 -> int1: the ritualist does hunger Gropius.; void -> assump1: Let's assume that the ritualist is not vegetal.; int1 & assump1 -> int2: the ritualist is not vegetal but it hungers Gropius.; int2 & sent1 -> int3: the Pantaloon is a kind of a grumble.; int3 & sent3 -> int4: that the pistachio does not wrap deadwood and it is not a grumble is not correct.; sent5 -> int5: if that the pistachio is not a hire but it does wrap deadwood is wrong then it does not wrap deadwood.; sent7 -> int6: the fact that the pistachio is not a hire and wraps deadwood is false.; int5 & int6 -> int7: the pistachio does not wrap deadwood.; int7 & sent6 -> int8: the pistachio does not wrap deadwood and is not a grumble.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the ritualist is not vegetal. ; $context$ = sent1: if the ritualist is not vegetal and hungers Gropius the Pantaloon grumbles. sent2: if the ritualist is not a boat but spatial it hungers Gropius. sent3: if the Pantaloon does grumble then that the pistachio does not wrap deadwood and it is not a grumble is incorrect. sent4: the ritualist does not boat and is spatial. sent5: if that something is not a kind of a hire and does wrap deadwood is incorrect it does not wrap deadwood. sent6: the pistachio is not a grumble. sent7: there is nothing such that the fact that it does not hire and it wraps deadwood is true. ; $proof$ = 
sent2 & sent4 -> int1: the ritualist does hunger Gropius.; void -> assump1: Let's assume that the ritualist is not vegetal.; int1 & assump1 -> int2: the ritualist is not vegetal but it hungers Gropius.; int2 & sent1 -> int3: the Pantaloon is a kind of a grumble.; int3 & sent3 -> int4: that the pistachio does not wrap deadwood and it is not a grumble is not correct.; sent5 -> int5: if that the pistachio is not a hire but it does wrap deadwood is wrong then it does not wrap deadwood.; sent7 -> int6: the fact that the pistachio is not a hire and wraps deadwood is false.; int5 & int6 -> int7: the pistachio does not wrap deadwood.; int7 & sent6 -> int8: the pistachio does not wrap deadwood and is not a grumble.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__