the grebe is not a kind of a set.
sent1: something does not nitrify or it is not a ileum or both. sent2: that the grebe is a Scandinavian is correct if the marsupium is not a kind of an animist. sent3: if the perianth does not bury nun then that the marsupium does not bury nun and is animist is wrong. sent4: if the grebe is a granadillo then it does set. sent5: the fact that the perianth is not a kind of an activation and does bury nun does not hold. sent6: if that the marsupium does not bury nun but it is an animist is not true then the grebe is a Scandinavian. sent7: if there is something such that that either it does not nitrify or it is not a ileum or both is false the perianth is not a kind of an activation. sent8: there exists something such that the fact that it does not nitrify or it is not a kind of a ileum or both is not true. sent9: if something is a kind of a Scandinavian it is a granadillo.
sent8 & sent7 -> int1: the perianth is not an activation.; void -> assump1: Let's assume that the perianth buries nun.; int1 & assump1 -> int2: the perianth is not an activation and buries nun.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the perianth does not bury nun.; int4 & sent3 -> int5: the fact that the marsupium does not bury nun but it is an animist does not hold.; int5 & sent6 -> int6: the grebe is a Scandinavian.; sent9 -> int7: the grebe is a granadillo if it is a Scandinavian.; int6 & int7 -> int8: the grebe is a granadillo.; int8 & sent4 -> hypothesis;
$hypothesis$ = the grebe is not a kind of a set. ; $context$ = sent1: something does not nitrify or it is not a ileum or both. sent2: that the grebe is a Scandinavian is correct if the marsupium is not a kind of an animist. sent3: if the perianth does not bury nun then that the marsupium does not bury nun and is animist is wrong. sent4: if the grebe is a granadillo then it does set. sent5: the fact that the perianth is not a kind of an activation and does bury nun does not hold. sent6: if that the marsupium does not bury nun but it is an animist is not true then the grebe is a Scandinavian. sent7: if there is something such that that either it does not nitrify or it is not a ileum or both is false the perianth is not a kind of an activation. sent8: there exists something such that the fact that it does not nitrify or it is not a kind of a ileum or both is not true. sent9: if something is a kind of a Scandinavian it is a granadillo. ; $proof$ = 
sent8 & sent7 -> int1: the perianth is not an activation.; void -> assump1: Let's assume that the perianth buries nun.; int1 & assump1 -> int2: the perianth is not an activation and buries nun.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the perianth does not bury nun.; int4 & sent3 -> int5: the fact that the marsupium does not bury nun but it is an animist does not hold.; int5 & sent6 -> int6: the grebe is a Scandinavian.; sent9 -> int7: the grebe is a granadillo if it is a Scandinavian.; int6 & int7 -> int8: the grebe is a granadillo.; int8 & sent4 -> hypothesis; __DISPROVED__