the tandoor is not a holystone.
sent1: if there is something such that it is virile then the fact that the monotreme is a Odobenidae and it is a kind of a founder is not correct. sent2: the tandoor does not holystone if that there exists something such that that it is a Odobenidae and it founders is false is not false. sent3: the welcher is both virile and not nonfissionable.
sent3 -> int1: that the welcher is virile is not false.; int1 -> int2: there exists something such that it is virile.; int2 & sent1 -> int3: the fact that the monotreme is a Odobenidae and it is a kind of a founder is false.; int3 -> int4: there exists something such that that that it is a Odobenidae and is a founder hold is not right.; int4 & sent2 -> hypothesis;
$hypothesis$ = the tandoor is not a holystone. ; $context$ = sent1: if there is something such that it is virile then the fact that the monotreme is a Odobenidae and it is a kind of a founder is not correct. sent2: the tandoor does not holystone if that there exists something such that that it is a Odobenidae and it founders is false is not false. sent3: the welcher is both virile and not nonfissionable. ; $proof$ = 
sent3 -> int1: that the welcher is virile is not false.; int1 -> int2: there exists something such that it is virile.; int2 & sent1 -> int3: the fact that the monotreme is a Odobenidae and it is a kind of a founder is false.; int3 -> int4: there exists something such that that that it is a Odobenidae and is a founder hold is not right.; int4 & sent2 -> hypothesis; __PROVED__