the grout is vacuolate.
sent1: there exists nothing such that it does not function headboard and is not pyroligneous. sent2: that the muller is not ameboid hold. sent3: the grout is ameboid if it is vacuolate. sent4: if the fact that the mandrake does function orthoscope but it does not function SGML is incorrect then the trainer functions headboard. sent5: there exists nothing that is ameboid but not vacuolate. sent6: the orthoscope does function headboard. sent7: the grout is vacuolate if the trainer is infelicitous but not ameboid. sent8: something is infelicitous if it is ameboid. sent9: if the grout is pyroligneous then it is not infelicitous. sent10: if the fact that something is not a kind of a rotation and does not function gat is incorrect it does not dive trainer. sent11: something is not infelicitous if the fact that it does not function headboard and is not pyroligneous is wrong. sent12: something is infelicitous and is not ameboid if the fact that it is pyroligneous is correct. sent13: the fact that the grout is not a Vitus and not infelicitous is false.
void -> assump1: Let's assume that the grout is vacuolate.; sent3 & assump1 -> int1: the grout is ameboid.; sent8 -> int2: if the grout is ameboid then it is infelicitous.; int1 & int2 -> int3: the grout is infelicitous.; sent11 -> int4: if the fact that the grout does not function headboard and is not pyroligneous is wrong it is not infelicitous.; sent1 -> int5: that the grout does not function headboard and is not pyroligneous is incorrect.; int4 & int5 -> int6: the grout is not infelicitous.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the grout is vacuolate.
sent12 -> int8: if the trainer is pyroligneous it is infelicitous and it is not ameboid.;
$hypothesis$ = the grout is vacuolate. ; $context$ = sent1: there exists nothing such that it does not function headboard and is not pyroligneous. sent2: that the muller is not ameboid hold. sent3: the grout is ameboid if it is vacuolate. sent4: if the fact that the mandrake does function orthoscope but it does not function SGML is incorrect then the trainer functions headboard. sent5: there exists nothing that is ameboid but not vacuolate. sent6: the orthoscope does function headboard. sent7: the grout is vacuolate if the trainer is infelicitous but not ameboid. sent8: something is infelicitous if it is ameboid. sent9: if the grout is pyroligneous then it is not infelicitous. sent10: if the fact that something is not a kind of a rotation and does not function gat is incorrect it does not dive trainer. sent11: something is not infelicitous if the fact that it does not function headboard and is not pyroligneous is wrong. sent12: something is infelicitous and is not ameboid if the fact that it is pyroligneous is correct. sent13: the fact that the grout is not a Vitus and not infelicitous is false. ; $proof$ = 
void -> assump1: Let's assume that the grout is vacuolate.; sent3 & assump1 -> int1: the grout is ameboid.; sent8 -> int2: if the grout is ameboid then it is infelicitous.; int1 & int2 -> int3: the grout is infelicitous.; sent11 -> int4: if the fact that the grout does not function headboard and is not pyroligneous is wrong it is not infelicitous.; sent1 -> int5: that the grout does not function headboard and is not pyroligneous is incorrect.; int4 & int5 -> int6: the grout is not infelicitous.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__