the fact that if the phenothiazine is not a kind of the polystyrene then the phenothiazine is a Maine and it is a mausoleum is not true.
sent1: something that is not Hispaniolan is a measured and is specialistic. sent2: the phenothiazine is a kind of a measured if it does not name. sent3: if the phenothiazine is not Hispaniolan the fact that it is specialistic is not incorrect. sent4: if the phenothiazine is not a mausoleum then it is a polystyrene and is a Lamaism. sent5: the phenothiazine is a Maine if the fact that it is not a kind of a paleontology hold. sent6: a measured is a Maine. sent7: the fact that the phenothiazine finalizes means is true. sent8: the phenothiazine is a Lamaism. sent9: the production is Hispaniolan. sent10: if the phenothiazine is a kind of a polystyrene it is a kind of a Maine and is a mausoleum. sent11: if that the phenothiazine is not a polystyrene is not incorrect then it criticizes Laius. sent12: the phenothiazine does finalize self-destruction. sent13: the phenothiazine is specialistic. sent14: if the phenothiazine is not a mausoleum it is a kind of a Lamaism. sent15: if the phenothiazine does not criticize pebibit then it is a birthmark and it is a Maine. sent16: something is specialistic if it is not Hispaniolan. sent17: the phenothiazine is not Hispaniolan. sent18: the slapstick is a Maine.
void -> assump1: Let's assume that the phenothiazine is not a mausoleum.; sent4 & assump1 -> int1: the fact that the phenothiazine is a polystyrene and is a Lamaism hold.; int1 -> int2: the phenothiazine is a polystyrene.; void -> assump2: Let's assume that that the phenothiazine is not a kind of a polystyrene is correct.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the phenothiazine is a mausoleum is right.; sent6 -> int5: the phenothiazine is a Maine if the fact that it is a measured is not false.; sent1 -> int6: the phenothiazine is a measured and it is specialistic if it is not Hispaniolan.; int6 & sent17 -> int7: the phenothiazine is a kind of a measured that is specialistic.; int7 -> int8: the phenothiazine does measure.; int5 & int8 -> int9: the phenothiazine is a kind of a Maine.; int4 & int9 -> int10: the phenothiazine is a kind of a Maine and it is a kind of a mausoleum.; [assump2] & int10 -> hypothesis;
$hypothesis$ = the fact that if the phenothiazine is not a kind of the polystyrene then the phenothiazine is a Maine and it is a mausoleum is not true. ; $context$ = sent1: something that is not Hispaniolan is a measured and is specialistic. sent2: the phenothiazine is a kind of a measured if it does not name. sent3: if the phenothiazine is not Hispaniolan the fact that it is specialistic is not incorrect. sent4: if the phenothiazine is not a mausoleum then it is a polystyrene and is a Lamaism. sent5: the phenothiazine is a Maine if the fact that it is not a kind of a paleontology hold. sent6: a measured is a Maine. sent7: the fact that the phenothiazine finalizes means is true. sent8: the phenothiazine is a Lamaism. sent9: the production is Hispaniolan. sent10: if the phenothiazine is a kind of a polystyrene it is a kind of a Maine and is a mausoleum. sent11: if that the phenothiazine is not a polystyrene is not incorrect then it criticizes Laius. sent12: the phenothiazine does finalize self-destruction. sent13: the phenothiazine is specialistic. sent14: if the phenothiazine is not a mausoleum it is a kind of a Lamaism. sent15: if the phenothiazine does not criticize pebibit then it is a birthmark and it is a Maine. sent16: something is specialistic if it is not Hispaniolan. sent17: the phenothiazine is not Hispaniolan. sent18: the slapstick is a Maine. ; $proof$ = 
void -> assump1: Let's assume that the phenothiazine is not a mausoleum.; sent4 & assump1 -> int1: the fact that the phenothiazine is a polystyrene and is a Lamaism hold.; int1 -> int2: the phenothiazine is a polystyrene.; void -> assump2: Let's assume that that the phenothiazine is not a kind of a polystyrene is correct.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the phenothiazine is a mausoleum is right.; sent6 -> int5: the phenothiazine is a Maine if the fact that it is a measured is not false.; sent1 -> int6: the phenothiazine is a measured and it is specialistic if it is not Hispaniolan.; int6 & sent17 -> int7: the phenothiazine is a kind of a measured that is specialistic.; int7 -> int8: the phenothiazine does measure.; int5 & int8 -> int9: the phenothiazine is a kind of a Maine.; int4 & int9 -> int10: the phenothiazine is a kind of a Maine and it is a kind of a mausoleum.; [assump2] & int10 -> hypothesis; __DISPROVED__