the justice does not put Marathon.
sent1: if the fact that something is basilican is not wrong the Fijian does not put Marathon. sent2: if there exists something such that it puts Marathon the fact that the justice is not basilican is true. sent3: the Fijian does not put Marathon. sent4: the Fijian does not put Marathon if there is something such that it does work. sent5: if there is something such that the fact that it is basilican or it does not work or both hold then that the Fijian does not put Marathon hold. sent6: there exists something such that either it puts Marathon or it is not a work or both. sent7: there exists something such that it puts Marathon or it is not basilican or both. sent8: the fact that the justice does not put Marathon is not false if something is basilican and/or does not work. sent9: there exists something such that it is unperceptive and/or does not excise. sent10: the Fijian is not a kind of a work. sent11: the panhandler is not basilican. sent12: there is something such that it either is basilican or does not put Marathon or both.
sent10 -> int1: the Fijian is basilican and/or is not a work.; int1 -> int2: that there exists something such that it is basilican or not a work or both hold.; int2 & sent8 -> hypothesis;
$hypothesis$ = the justice does not put Marathon. ; $context$ = sent1: if the fact that something is basilican is not wrong the Fijian does not put Marathon. sent2: if there exists something such that it puts Marathon the fact that the justice is not basilican is true. sent3: the Fijian does not put Marathon. sent4: the Fijian does not put Marathon if there is something such that it does work. sent5: if there is something such that the fact that it is basilican or it does not work or both hold then that the Fijian does not put Marathon hold. sent6: there exists something such that either it puts Marathon or it is not a work or both. sent7: there exists something such that it puts Marathon or it is not basilican or both. sent8: the fact that the justice does not put Marathon is not false if something is basilican and/or does not work. sent9: there exists something such that it is unperceptive and/or does not excise. sent10: the Fijian is not a kind of a work. sent11: the panhandler is not basilican. sent12: there is something such that it either is basilican or does not put Marathon or both. ; $proof$ = 
sent10 -> int1: the Fijian is basilican and/or is not a work.; int1 -> int2: that there exists something such that it is basilican or not a work or both hold.; int2 & sent8 -> hypothesis; __PROVED__