the payee is not a kind of a territorial.
sent1: there exists something such that it is a kind of a battle. sent2: there are aerobic things. sent3: the ketamine is both syncretic and a sextet. sent4: something is territorial and it is aerobic if it is not a kind of a Ganesh. sent5: something does not hypnotize laptop but it is aerobic if it does not hypnotize synchronism. sent6: if something is not a kind of a sextet it does not hypnotize synchronism and it is not non-gyral. sent7: something is not a kind of a territorial if it does not hypnotize synchronism and is gyral. sent8: if something is not a sextet then it is gyral. sent9: the ketamine is aerobic. sent10: the dicamptodon does hypnotize laptop if the ketamine is a Ganesh. sent11: the payee is gyral. sent12: if the ketamine is not aerobic then it does not hypnotize laptop and it battles. sent13: if the dicamptodon does hypnotize laptop and battles the payee is not a sextet. sent14: the ketamine is aerobic a Ganesh. sent15: if the fact that something is a battle is not false that the dicamptodon is Aegean and not a battle is not true. sent16: if a non-gyral thing is a kind of a Ganesh then it is not a territorial. sent17: if the ketamine is a sextet the fact that the payee does not hypnotize laptop but it battles is not true. sent18: the fantast is not a Ganesh. sent19: that the ketamine is a sextet is correct if it is not non-gyral. sent20: if that something is Aegean thing that does not battle is incorrect then it is a kind of a battle.
sent14 -> int1: the ketamine is a Ganesh.; int1 & sent10 -> int2: the dicamptodon hypnotizes laptop.; sent20 -> int3: if the fact that the dicamptodon is Aegean but it is not a battle is false it is a kind of a battle.; sent1 & sent15 -> int4: the fact that the dicamptodon is Aegean and is not a battle does not hold.; int3 & int4 -> int5: the dicamptodon is a kind of a battle.; int2 & int5 -> int6: that the dicamptodon does hypnotize laptop and it is a kind of a battle is right.; int6 & sent13 -> int7: the payee is not a sextet.; sent6 -> int8: if the payee is not a sextet it does not hypnotize synchronism and is gyral.; int7 & int8 -> int9: the payee does not hypnotize synchronism but it is gyral.; sent7 -> int10: the payee is not a kind of a territorial if it does not hypnotize synchronism and is gyral.; int9 & int10 -> hypothesis;
the payee is a territorial.
sent4 -> int11: the payee is a kind of a territorial that is not non-aerobic if it is not a Ganesh.;
$hypothesis$ = the payee is not a kind of a territorial. ; $context$ = sent1: there exists something such that it is a kind of a battle. sent2: there are aerobic things. sent3: the ketamine is both syncretic and a sextet. sent4: something is territorial and it is aerobic if it is not a kind of a Ganesh. sent5: something does not hypnotize laptop but it is aerobic if it does not hypnotize synchronism. sent6: if something is not a kind of a sextet it does not hypnotize synchronism and it is not non-gyral. sent7: something is not a kind of a territorial if it does not hypnotize synchronism and is gyral. sent8: if something is not a sextet then it is gyral. sent9: the ketamine is aerobic. sent10: the dicamptodon does hypnotize laptop if the ketamine is a Ganesh. sent11: the payee is gyral. sent12: if the ketamine is not aerobic then it does not hypnotize laptop and it battles. sent13: if the dicamptodon does hypnotize laptop and battles the payee is not a sextet. sent14: the ketamine is aerobic a Ganesh. sent15: if the fact that something is a battle is not false that the dicamptodon is Aegean and not a battle is not true. sent16: if a non-gyral thing is a kind of a Ganesh then it is not a territorial. sent17: if the ketamine is a sextet the fact that the payee does not hypnotize laptop but it battles is not true. sent18: the fantast is not a Ganesh. sent19: that the ketamine is a sextet is correct if it is not non-gyral. sent20: if that something is Aegean thing that does not battle is incorrect then it is a kind of a battle. ; $proof$ = 
sent14 -> int1: the ketamine is a Ganesh.; int1 & sent10 -> int2: the dicamptodon hypnotizes laptop.; sent20 -> int3: if the fact that the dicamptodon is Aegean but it is not a battle is false it is a kind of a battle.; sent1 & sent15 -> int4: the fact that the dicamptodon is Aegean and is not a battle does not hold.; int3 & int4 -> int5: the dicamptodon is a kind of a battle.; int2 & int5 -> int6: that the dicamptodon does hypnotize laptop and it is a kind of a battle is right.; int6 & sent13 -> int7: the payee is not a sextet.; sent6 -> int8: if the payee is not a sextet it does not hypnotize synchronism and is gyral.; int7 & int8 -> int9: the payee does not hypnotize synchronism but it is gyral.; sent7 -> int10: the payee is not a kind of a territorial if it does not hypnotize synchronism and is gyral.; int9 & int10 -> hypothesis; __PROVED__