the firehouse is not unsarcastic.
sent1: the cattleya is a Hoheria. sent2: if something is a parka it is both not an ingenuity and a bout. sent3: if something is non-Shinto the fact that it is not a kind of a diarchy and it is unsarcastic is not right. sent4: the firehouse is a Shinto if it is non-ample thing that is a kind of a Aquarius. sent5: if the rudapithecus is a kind of an ingenuity it is a kind of a diarchy. sent6: if the fact that the cattleya is both not a Sousa and not nonprofessional does not hold the Maxzide is a kind of a Sousa. sent7: if the firehouse is a Shinto but not sarcastic the rudapithecus is not a diarchy. sent8: if the Maxzide is a Sousa then the fact that the nephrotoxin is a parka is not wrong. sent9: if something is a kind of non-ample thing that is not a kind of a Aquarius it is a kind of a Shinto. sent10: everything is not a kind of a Aquarius. sent11: the firehouse is not a Aquarius. sent12: if that that the nephrotoxin is an ingenuity and/or it is not a Shinto hold is not true the rudapithecus is a kind of a Shinto. sent13: that the cattleya is not a Sousa and is not nonprofessional is false if that it is a Hoheria is correct. sent14: if something is both not ample and a Aquarius it is a Shinto. sent15: the rudapithecus is a kind of an ingenuity. sent16: everything is a kind of non-ample thing that is not a kind of a Aquarius. sent17: that the nephrotoxin is an ingenuity or it is not a Shinto or both does not hold if it is not a diarchy.
sent9 -> int1: if the firehouse is not ample and not a Aquarius then it is a Shinto.; sent16 -> int2: the firehouse is not ample and it is not a Aquarius.; int1 & int2 -> int3: the fact that the firehouse is a Shinto is correct.; void -> assump1: Let's assume that the firehouse is unsarcastic.; int3 & assump1 -> int4: the firehouse is a Shinto but not sarcastic.; int4 & sent7 -> int5: that the rudapithecus is not a kind of a diarchy is right.; sent5 & sent15 -> int6: the rudapithecus is a diarchy.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the rudapithecus is unsarcastic.
$hypothesis$ = the firehouse is not unsarcastic. ; $context$ = sent1: the cattleya is a Hoheria. sent2: if something is a parka it is both not an ingenuity and a bout. sent3: if something is non-Shinto the fact that it is not a kind of a diarchy and it is unsarcastic is not right. sent4: the firehouse is a Shinto if it is non-ample thing that is a kind of a Aquarius. sent5: if the rudapithecus is a kind of an ingenuity it is a kind of a diarchy. sent6: if the fact that the cattleya is both not a Sousa and not nonprofessional does not hold the Maxzide is a kind of a Sousa. sent7: if the firehouse is a Shinto but not sarcastic the rudapithecus is not a diarchy. sent8: if the Maxzide is a Sousa then the fact that the nephrotoxin is a parka is not wrong. sent9: if something is a kind of non-ample thing that is not a kind of a Aquarius it is a kind of a Shinto. sent10: everything is not a kind of a Aquarius. sent11: the firehouse is not a Aquarius. sent12: if that that the nephrotoxin is an ingenuity and/or it is not a Shinto hold is not true the rudapithecus is a kind of a Shinto. sent13: that the cattleya is not a Sousa and is not nonprofessional is false if that it is a Hoheria is correct. sent14: if something is both not ample and a Aquarius it is a Shinto. sent15: the rudapithecus is a kind of an ingenuity. sent16: everything is a kind of non-ample thing that is not a kind of a Aquarius. sent17: that the nephrotoxin is an ingenuity or it is not a Shinto or both does not hold if it is not a diarchy. ; $proof$ = 
sent9 -> int1: if the firehouse is not ample and not a Aquarius then it is a Shinto.; sent16 -> int2: the firehouse is not ample and it is not a Aquarius.; int1 & int2 -> int3: the fact that the firehouse is a Shinto is correct.; void -> assump1: Let's assume that the firehouse is unsarcastic.; int3 & assump1 -> int4: the firehouse is a Shinto but not sarcastic.; int4 & sent7 -> int5: that the rudapithecus is not a kind of a diarchy is right.; sent5 & sent15 -> int6: the rudapithecus is a diarchy.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__