the Manila is a kind of a red.
sent1: something that does lob vivisectionist does criticize Ivanov and is not a sniffer. sent2: the squawbush lobs vivisectionist. sent3: if the hutment is not proper then the Manila is a kind of a red and it is perceptible. sent4: if either the provost is not a Gasterosteidae or it is anabatic or both it does not criticize Ivanov. sent5: The vivisectionist lobs squawbush. sent6: if that something is a kind of a red but it does not criticize Ivanov is not true it is not a red. sent7: the hutment is not proper if that the provost is a Gasterosteidae and/or it is anabatic is not correct. sent8: the fact that the fact that the squawbush criticizes Ivanov but it is not a kind of a sniffer is false hold if the provost does not criticizes Ivanov.
void -> assump1: Let's assume that the provost is not a kind of a Gasterosteidae or is anabatic or both.; sent4 & assump1 -> int1: the provost does not criticize Ivanov.; int1 & sent8 -> int2: that the squawbush criticizes Ivanov and is not a sniffer is not correct.; sent1 -> int3: if the squawbush lobs vivisectionist then it does criticize Ivanov and is not a sniffer.; int3 & sent2 -> int4: the squawbush does criticize Ivanov and is not a kind of a sniffer.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that that either the provost is not a Gasterosteidae or it is anabatic or both is not false is not right.;
the Manila is not a red.
sent6 -> int7: the Manila is not a kind of a red if the fact that it is a kind of a red that does not criticize Ivanov is not right.;
$hypothesis$ = the Manila is a kind of a red. ; $context$ = sent1: something that does lob vivisectionist does criticize Ivanov and is not a sniffer. sent2: the squawbush lobs vivisectionist. sent3: if the hutment is not proper then the Manila is a kind of a red and it is perceptible. sent4: if either the provost is not a Gasterosteidae or it is anabatic or both it does not criticize Ivanov. sent5: The vivisectionist lobs squawbush. sent6: if that something is a kind of a red but it does not criticize Ivanov is not true it is not a red. sent7: the hutment is not proper if that the provost is a Gasterosteidae and/or it is anabatic is not correct. sent8: the fact that the fact that the squawbush criticizes Ivanov but it is not a kind of a sniffer is false hold if the provost does not criticizes Ivanov. ; $proof$ = 
void -> assump1: Let's assume that the provost is not a kind of a Gasterosteidae or is anabatic or both.; sent4 & assump1 -> int1: the provost does not criticize Ivanov.; int1 & sent8 -> int2: that the squawbush criticizes Ivanov and is not a sniffer is not correct.; sent1 -> int3: if the squawbush lobs vivisectionist then it does criticize Ivanov and is not a sniffer.; int3 & sent2 -> int4: the squawbush does criticize Ivanov and is not a kind of a sniffer.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that that either the provost is not a Gasterosteidae or it is anabatic or both is not false is not right.; __UNKNOWN__