the Nazarene is a kind of a sousaphone and it is Tunisian.
sent1: that the pyrostat does stampede pyrostat is not wrong if it is not a kind of a calibration. sent2: if something is not a kind of a calibration then it stampedes pyrostat and is not loud. sent3: the fact that if the pyrostat is the sousaphone the pyrostat stampedes pyrostat is correct. sent4: something does stampede pyrostat if it is not a calibration. sent5: if the Nazarene is loud it is a kind of a Tunisian. sent6: the Nazarene is loud and not Tunisian if it is not a kind of a calibration. sent7: a non-Tunisian thing is a calibration. sent8: if the fact that the pyrostat is homeostatic is correct then the Nazarene is a sousaphone. sent9: the fact that the pyrostat is loud is not incorrect. sent10: something is not colorectal and it does not quench expectoration. sent11: the fact that something is a kind of a sousaphone and it is a Tunisian is not correct if it is not a kind of a calibration. sent12: the Nazarene is a sousaphone if there exists something such that it is both non-Tunisian and not homeostatic. sent13: the Nazarene is a kind of a Tunisian if there is something such that it is non-colorectal thing that does not quench expectoration. sent14: if a non-colorectal thing is homeostatic then it is not a kind of a calibration.
sent2 -> int1: if the pyrostat is not a kind of a calibration it does stampede pyrostat and is not loud.; void -> assump1: Let's assume that the pyrostat is not a calibration.; int1 & assump1 -> int2: the pyrostat stampedes pyrostat but it is not loud.; int2 -> int3: the pyrostat is not loud.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pyrostat is a calibration.; sent10 & sent13 -> int6: the Nazarene is a kind of a Tunisian.;
the fact that that the Nazarene is a kind of a sousaphone and it is a Tunisian is right is not correct.
sent11 -> int7: if the Nazarene is not a calibration the fact that it is a sousaphone and it is a Tunisian is not right.; sent14 -> int8: the Nazarene is not a calibration if it is both not colorectal and homeostatic.;
$hypothesis$ = the Nazarene is a kind of a sousaphone and it is Tunisian. ; $context$ = sent1: that the pyrostat does stampede pyrostat is not wrong if it is not a kind of a calibration. sent2: if something is not a kind of a calibration then it stampedes pyrostat and is not loud. sent3: the fact that if the pyrostat is the sousaphone the pyrostat stampedes pyrostat is correct. sent4: something does stampede pyrostat if it is not a calibration. sent5: if the Nazarene is loud it is a kind of a Tunisian. sent6: the Nazarene is loud and not Tunisian if it is not a kind of a calibration. sent7: a non-Tunisian thing is a calibration. sent8: if the fact that the pyrostat is homeostatic is correct then the Nazarene is a sousaphone. sent9: the fact that the pyrostat is loud is not incorrect. sent10: something is not colorectal and it does not quench expectoration. sent11: the fact that something is a kind of a sousaphone and it is a Tunisian is not correct if it is not a kind of a calibration. sent12: the Nazarene is a sousaphone if there exists something such that it is both non-Tunisian and not homeostatic. sent13: the Nazarene is a kind of a Tunisian if there is something such that it is non-colorectal thing that does not quench expectoration. sent14: if a non-colorectal thing is homeostatic then it is not a kind of a calibration. ; $proof$ = 
sent2 -> int1: if the pyrostat is not a kind of a calibration it does stampede pyrostat and is not loud.; void -> assump1: Let's assume that the pyrostat is not a calibration.; int1 & assump1 -> int2: the pyrostat stampedes pyrostat but it is not loud.; int2 -> int3: the pyrostat is not loud.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pyrostat is a calibration.; sent10 & sent13 -> int6: the Nazarene is a kind of a Tunisian.; __UNKNOWN__