the gangliocyte does not grease ghoul.
sent1: there is something such that the fact that it greases tied or it is optical or both is wrong. sent2: if there exists something such that the fact that it greases tied or is not optical or both is false then that the gangliocyte does grease ghoul is false. sent3: either something is not a biltong or it is not an infliction or both if it is a Javanese. sent4: the mouthpiece does not grease Cephalotus if it is not a kind of an infliction. sent5: the mouthpiece greases Cephalotus and it is a Hittite. sent6: something does not grease Cephalotus if it is either not a biltong or not an infliction or both. sent7: the mouthpiece is a Javanese if it greases tied. sent8: there exists something such that it does not grease tied. sent9: the mouthpiece is Javanese if it does grease tied and/or it is not optical.
void -> assump1: Let's assume that either the mouthpiece greases tied or it is not optical or both.; sent9 & assump1 -> int1: the mouthpiece is a kind of a Javanese.; sent3 -> int2: if the mouthpiece is a Javanese then it either is not a kind of a biltong or is not an infliction or both.; int1 & int2 -> int3: the mouthpiece is not a kind of a biltong and/or it is not a kind of an infliction.; sent6 -> int4: the mouthpiece does not grease Cephalotus if it is not a biltong and/or it is not an infliction.; int3 & int4 -> int5: the mouthpiece does not grease Cephalotus.; sent5 -> int6: the mouthpiece does grease Cephalotus.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the mouthpiece greases tied or it is not optical or both is false.; int8 -> int9: there exists something such that that it greases tied and/or it is not optical is incorrect.; int9 & sent2 -> hypothesis;
$hypothesis$ = the gangliocyte does not grease ghoul. ; $context$ = sent1: there is something such that the fact that it greases tied or it is optical or both is wrong. sent2: if there exists something such that the fact that it greases tied or is not optical or both is false then that the gangliocyte does grease ghoul is false. sent3: either something is not a biltong or it is not an infliction or both if it is a Javanese. sent4: the mouthpiece does not grease Cephalotus if it is not a kind of an infliction. sent5: the mouthpiece greases Cephalotus and it is a Hittite. sent6: something does not grease Cephalotus if it is either not a biltong or not an infliction or both. sent7: the mouthpiece is a Javanese if it greases tied. sent8: there exists something such that it does not grease tied. sent9: the mouthpiece is Javanese if it does grease tied and/or it is not optical. ; $proof$ = 
void -> assump1: Let's assume that either the mouthpiece greases tied or it is not optical or both.; sent9 & assump1 -> int1: the mouthpiece is a kind of a Javanese.; sent3 -> int2: if the mouthpiece is a Javanese then it either is not a kind of a biltong or is not an infliction or both.; int1 & int2 -> int3: the mouthpiece is not a kind of a biltong and/or it is not a kind of an infliction.; sent6 -> int4: the mouthpiece does not grease Cephalotus if it is not a biltong and/or it is not an infliction.; int3 & int4 -> int5: the mouthpiece does not grease Cephalotus.; sent5 -> int6: the mouthpiece does grease Cephalotus.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the mouthpiece greases tied or it is not optical or both is false.; int8 -> int9: there exists something such that that it greases tied and/or it is not optical is incorrect.; int9 & sent2 -> hypothesis; __PROVED__