the review is not amphitheatric.
sent1: the review is amphitheatric if it is caloric. sent2: the SHAPE is both non-siliceous and a megaton. sent3: if something is not a kind of a house the fact that it is not boric and not a kitchen is not right. sent4: if either something does not house or it does not catholicize or both the lunatic does not house. sent5: if something is not a territorialization then it either is not a house or does not catholicize or both. sent6: if something that does undercut take does not induce inducement the reticulocyte induces SHAPE. sent7: the SHAPE is not amphitheatric if the review is not tamed and undercuts rustler. sent8: the kob does not tame if that the lungfish is not a spree but it is a Omdurman does not hold. sent9: everything is not a territorialization. sent10: that the SHAPE is non-siliceous but it is a megaton is incorrect if it is not abbatial. sent11: if that the SHAPE is abbatial hold then that the review is caloric is true. sent12: the filicide does not induce lacrosse if the fact that the lunatic is not boric and it is not a kitchen is incorrect. sent13: something is not amphitheatric if it is not non-abbatial. sent14: if something does not induce lacrosse then that it undercuts take and does not induce inducement is not false. sent15: if that there exists something such that it is not tamed is correct the SHAPE is not caloric. sent16: if the reticulocyte induces SHAPE that that the lungfish is not a spree but a Omdurman hold is not true. sent17: the review is abbatial if the SHAPE does undercut rustler. sent18: a non-caloric thing undercuts rustler or is abbatial or both. sent19: if the SHAPE is not amphitheatric the mucosa is not caloric.
void -> assump1: Let's assume that the SHAPE is not abbatial.; sent10 & assump1 -> int1: the fact that the fact that the SHAPE is not siliceous but it is a kind of a megaton is false hold.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the SHAPE is abbatial.; int3 & sent11 -> int4: the review is caloric.; int4 & sent1 -> hypothesis;
the review is not amphitheatric.
sent13 -> int5: the review is not amphitheatric if it is abbatial.; sent18 -> int6: if the fact that the SHAPE is not caloric is not false then it undercuts rustler or it is abbatial or both.; sent3 -> int7: that the lunatic is a kind of non-boric thing that is not a kitchen is not correct if it is not a kind of a house.; sent5 -> int8: if the Nitrospan is not a territorialization then it is not a house and/or it does not catholicize.; sent9 -> int9: the Nitrospan is not a kind of a territorialization.; int8 & int9 -> int10: the Nitrospan is not a house and/or it does not catholicize.; int10 -> int11: everything is not a kind of a house or it does not catholicize or both.; int11 -> int12: the theosophist does not house and/or it does not catholicize.; int12 -> int13: there exists something such that it is not a house or does not catholicize or both.; sent4 & int13 -> int14: the lunatic is not a kind of a house.; int7 & int14 -> int15: the fact that the lunatic is not boric and it is not a kitchen is not true.; sent12 & int15 -> int16: the filicide does not induce lacrosse.; sent14 -> int17: the filicide does undercut take and does not induce inducement if it does not induce lacrosse.; int16 & int17 -> int18: the filicide does undercut take but it does not induce inducement.; int18 -> int19: something does undercut take and does not induce inducement.; sent6 & int19 -> int20: the reticulocyte does induce SHAPE.; int20 & sent16 -> int21: that the lungfish is not a spree but a Omdurman is not true.; sent8 & int21 -> int22: the kob is not tamed.; int22 -> int23: there is something such that it is not tamed.; sent15 & int23 -> int24: the SHAPE is not caloric.; int6 & int24 -> int25: either the SHAPE does undercut rustler or it is abbatial or both.;
$hypothesis$ = the review is not amphitheatric. ; $context$ = sent1: the review is amphitheatric if it is caloric. sent2: the SHAPE is both non-siliceous and a megaton. sent3: if something is not a kind of a house the fact that it is not boric and not a kitchen is not right. sent4: if either something does not house or it does not catholicize or both the lunatic does not house. sent5: if something is not a territorialization then it either is not a house or does not catholicize or both. sent6: if something that does undercut take does not induce inducement the reticulocyte induces SHAPE. sent7: the SHAPE is not amphitheatric if the review is not tamed and undercuts rustler. sent8: the kob does not tame if that the lungfish is not a spree but it is a Omdurman does not hold. sent9: everything is not a territorialization. sent10: that the SHAPE is non-siliceous but it is a megaton is incorrect if it is not abbatial. sent11: if that the SHAPE is abbatial hold then that the review is caloric is true. sent12: the filicide does not induce lacrosse if the fact that the lunatic is not boric and it is not a kitchen is incorrect. sent13: something is not amphitheatric if it is not non-abbatial. sent14: if something does not induce lacrosse then that it undercuts take and does not induce inducement is not false. sent15: if that there exists something such that it is not tamed is correct the SHAPE is not caloric. sent16: if the reticulocyte induces SHAPE that that the lungfish is not a spree but a Omdurman hold is not true. sent17: the review is abbatial if the SHAPE does undercut rustler. sent18: a non-caloric thing undercuts rustler or is abbatial or both. sent19: if the SHAPE is not amphitheatric the mucosa is not caloric. ; $proof$ = 
void -> assump1: Let's assume that the SHAPE is not abbatial.; sent10 & assump1 -> int1: the fact that the fact that the SHAPE is not siliceous but it is a kind of a megaton is false hold.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the SHAPE is abbatial.; int3 & sent11 -> int4: the review is caloric.; int4 & sent1 -> hypothesis; __DISPROVED__