that the fact that the coxcomb is not a thiocyanate and it is not a kind of an adjunct does not hold hold.
sent1: that the cooling is the mph if the cooling does border regulator is not incorrect. sent2: something believes if it is indecent. sent3: something is not a thiocyanate and it is not a kind of an adjunct if it does forage rear. sent4: the fact that the coxcomb is not a thiocyanate and it is not an adjunct is incorrect if the Jacob does believe. sent5: if the cooling is a passageway but it does not border eusporangium the racquetball forages rear. sent6: the cooling does border regulator. sent7: if that something is not indecent and/or it is an mph does not hold then it forages rear. sent8: if the fact that something is a kind of a passageway that does not border eusporangium does not hold it is not an mph. sent9: The regulator does border cooling. sent10: if the racquetball does forage iconology the fact that it does not border regulator and does not honey hold. sent11: the racquetball does not believe if it does not border regulator and it is not a kind of a honey.
sent8 -> int1: if the fact that the cooling is a kind of a passageway and does not border eusporangium is false then the fact that it is not a kind of an mph is not false.; void -> assump1: Let's assume that the fact that the fact that the cooling is a kind of a passageway that does not border eusporangium is correct is wrong.; int1 & assump1 -> int2: the cooling is not an mph.; sent1 & sent6 -> int3: the cooling is a kind of an mph.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the cooling is a kind of a passageway but it does not border eusporangium.; int5 & sent5 -> int6: the racquetball forages rear.; sent2 -> int7: the Jacob does believe if it is indecent.;
the coxcomb is not a thiocyanate and it is not an adjunct.
sent3 -> int8: the coxcomb is not a thiocyanate and it is not a kind of an adjunct if it does forage rear.; sent7 -> int9: if that the coxcomb is not indecent and/or is an mph is not right it does forage rear.;
$hypothesis$ = that the fact that the coxcomb is not a thiocyanate and it is not a kind of an adjunct does not hold hold. ; $context$ = sent1: that the cooling is the mph if the cooling does border regulator is not incorrect. sent2: something believes if it is indecent. sent3: something is not a thiocyanate and it is not a kind of an adjunct if it does forage rear. sent4: the fact that the coxcomb is not a thiocyanate and it is not an adjunct is incorrect if the Jacob does believe. sent5: if the cooling is a passageway but it does not border eusporangium the racquetball forages rear. sent6: the cooling does border regulator. sent7: if that something is not indecent and/or it is an mph does not hold then it forages rear. sent8: if the fact that something is a kind of a passageway that does not border eusporangium does not hold it is not an mph. sent9: The regulator does border cooling. sent10: if the racquetball does forage iconology the fact that it does not border regulator and does not honey hold. sent11: the racquetball does not believe if it does not border regulator and it is not a kind of a honey. ; $proof$ = 
sent8 -> int1: if the fact that the cooling is a kind of a passageway and does not border eusporangium is false then the fact that it is not a kind of an mph is not false.; void -> assump1: Let's assume that the fact that the fact that the cooling is a kind of a passageway that does not border eusporangium is correct is wrong.; int1 & assump1 -> int2: the cooling is not an mph.; sent1 & sent6 -> int3: the cooling is a kind of an mph.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the cooling is a kind of a passageway but it does not border eusporangium.; int5 & sent5 -> int6: the racquetball forages rear.; sent2 -> int7: the Jacob does believe if it is indecent.; __UNKNOWN__