the GABA is a Lilliputian that is post-communist.
sent1: the cotyledon is photovoltaic. sent2: the foreground is not a kind of a mortar and is not Quechuan. sent3: if the cotyledon is photovoltaic then the outflow is surgical. sent4: if the drum is an exoskeleton or it is algometric or both the outflow is not surgical. sent5: that the GABA is a supplement that is binocular is not correct if it is not post-communist. sent6: the drum is an exoskeleton if there exists something such that the fact that it is a kind of a supplement that is binocular is not true. sent7: the fact that the beryl is not a kind of an outside is true. sent8: if the fact that the foreground is not a mortar hold the GABA is a tetryl and it is Lilliputian. sent9: that the foreground is not non-post-communist and not non-Lilliputian is not correct if it is not Quechuan.
void -> assump1: Let's assume that the GABA is not post-communist.; sent5 & assump1 -> int1: the fact that the GABA is a supplement that is binocular does not hold.; int1 -> int2: there exists something such that that the fact that it is a kind of a supplement that is binocular is right is false.; int2 & sent6 -> int3: the fact that the drum is an exoskeleton hold.; int3 -> int4: the drum is an exoskeleton and/or is algometric.; int4 & sent4 -> int5: the outflow is not surgical.; sent3 & sent1 -> int6: the outflow is surgical.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the GABA is post-communist.; sent2 -> int9: the foreground does not mortar.; sent8 & int9 -> int10: the GABA is a tetryl and it is a kind of a Lilliputian.; int10 -> int11: the GABA is a Lilliputian.; int8 & int11 -> hypothesis;
$hypothesis$ = the GABA is a Lilliputian that is post-communist. ; $context$ = sent1: the cotyledon is photovoltaic. sent2: the foreground is not a kind of a mortar and is not Quechuan. sent3: if the cotyledon is photovoltaic then the outflow is surgical. sent4: if the drum is an exoskeleton or it is algometric or both the outflow is not surgical. sent5: that the GABA is a supplement that is binocular is not correct if it is not post-communist. sent6: the drum is an exoskeleton if there exists something such that the fact that it is a kind of a supplement that is binocular is not true. sent7: the fact that the beryl is not a kind of an outside is true. sent8: if the fact that the foreground is not a mortar hold the GABA is a tetryl and it is Lilliputian. sent9: that the foreground is not non-post-communist and not non-Lilliputian is not correct if it is not Quechuan. ; $proof$ = 
void -> assump1: Let's assume that the GABA is not post-communist.; sent5 & assump1 -> int1: the fact that the GABA is a supplement that is binocular does not hold.; int1 -> int2: there exists something such that that the fact that it is a kind of a supplement that is binocular is right is false.; int2 & sent6 -> int3: the fact that the drum is an exoskeleton hold.; int3 -> int4: the drum is an exoskeleton and/or is algometric.; int4 & sent4 -> int5: the outflow is not surgical.; sent3 & sent1 -> int6: the outflow is surgical.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the GABA is post-communist.; sent2 -> int9: the foreground does not mortar.; sent8 & int9 -> int10: the GABA is a tetryl and it is a kind of a Lilliputian.; int10 -> int11: the GABA is a Lilliputian.; int8 & int11 -> hypothesis; __PROVED__