the soundbox is a scaup or it is a pidgin or both.
sent1: there is something such that it is nomothetic. sent2: the tibia photostats soundbox. sent3: if that something is nomothetic and it is a entrecote does not hold it is not nomothetic. sent4: the tibia is nomothetic. sent5: the tibia is Einsteinian. sent6: the soundbox photostats soundbox. sent7: something is a pidgin and it is nomothetic. sent8: the tibia photostats soundbox and/or it is a kind of a scaup. sent9: that something is a scaup and/or it is a pidgin is incorrect if it is not nomothetic. sent10: there is something such that it photostats soundbox. sent11: the tibia is nomothetic if there is something such that it is both a scaup and a pidgin. sent12: the soundbox is a scaup or it does photostat soundbox or both. sent13: if a pidgin is a scaup then the tibia is nomothetic. sent14: the tibia does circularize indispensability. sent15: the tibia is a scaup or photostats soundbox or both. sent16: that the tibia circularizes rattrap is not wrong. sent17: if a pidgin photostats soundbox then the soundbox is a kind of a scaup. sent18: if something photostats soundbox and is a kind of a scaup the tibia is nomothetic. sent19: The soundbox photostats tibia. sent20: if something is nomothetic thing that photostats soundbox the soundbox is a pidgin. sent21: if the tibia nominates then the soundbox does not photostat soundbox.
sent4 & sent2 -> int1: the tibia is nomothetic and it photostats soundbox.; int1 -> int2: something is a kind of nomothetic thing that photostats soundbox.; int2 & sent20 -> int3: the soundbox is a pidgin.; int3 -> hypothesis;
that the fact that the soundbox is a kind of a scaup and/or is a kind of a pidgin is wrong is true.
sent9 -> int4: if the soundbox is not nomothetic the fact that it is a kind of a scaup or it is a pidgin or both is false.; sent3 -> int5: the soundbox is not nomothetic if the fact that it is nomothetic and is a entrecote does not hold.;
$hypothesis$ = the soundbox is a scaup or it is a pidgin or both. ; $context$ = sent1: there is something such that it is nomothetic. sent2: the tibia photostats soundbox. sent3: if that something is nomothetic and it is a entrecote does not hold it is not nomothetic. sent4: the tibia is nomothetic. sent5: the tibia is Einsteinian. sent6: the soundbox photostats soundbox. sent7: something is a pidgin and it is nomothetic. sent8: the tibia photostats soundbox and/or it is a kind of a scaup. sent9: that something is a scaup and/or it is a pidgin is incorrect if it is not nomothetic. sent10: there is something such that it photostats soundbox. sent11: the tibia is nomothetic if there is something such that it is both a scaup and a pidgin. sent12: the soundbox is a scaup or it does photostat soundbox or both. sent13: if a pidgin is a scaup then the tibia is nomothetic. sent14: the tibia does circularize indispensability. sent15: the tibia is a scaup or photostats soundbox or both. sent16: that the tibia circularizes rattrap is not wrong. sent17: if a pidgin photostats soundbox then the soundbox is a kind of a scaup. sent18: if something photostats soundbox and is a kind of a scaup the tibia is nomothetic. sent19: The soundbox photostats tibia. sent20: if something is nomothetic thing that photostats soundbox the soundbox is a pidgin. sent21: if the tibia nominates then the soundbox does not photostat soundbox. ; $proof$ = 
sent4 & sent2 -> int1: the tibia is nomothetic and it photostats soundbox.; int1 -> int2: something is a kind of nomothetic thing that photostats soundbox.; int2 & sent20 -> int3: the soundbox is a pidgin.; int3 -> hypothesis; __PROVED__