the fact that if the guestroom does approbate equivalent then the iron-tree does smooch is not true.
sent1: if something that does approbate equivalent is not a button-quail the iron-tree smooches. sent2: the guestroom is not a ophidism if that the dihybrid is not a ophidism or it is not a decrease or both is false. sent3: the guestroom is a ophidism if the fact that it is not a button-quail and it does underquote justice is incorrect. sent4: the dihybrid is a ophidism but it does not approbate equivalent. sent5: something does smooch and does underquote justice. sent6: that that the dihybrid is not a ophidism and/or is not a decrease hold does not hold. sent7: the dihybrid does smooch if the iron-tree decreases.
void -> assump2: Let's assume that the fact that the guestroom is not a button-quail but it does underquote justice is not right.; sent3 & assump2 -> int1: the guestroom is a kind of a ophidism.; sent2 & sent6 -> int2: the guestroom is not a ophidism.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the guestroom is not a kind of a button-quail but it underquotes justice.; int4 -> int5: the guestroom is not a kind of a button-quail.; void -> assump1: Let's assume that the guestroom does approbate equivalent.; int5 & assump1 -> int6: the guestroom does approbate equivalent and is not a button-quail.; int6 -> int7: there exists something such that it approbates equivalent and is not a button-quail.; int7 & sent1 -> int8: the iron-tree does smooch.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that if the guestroom does approbate equivalent then the iron-tree does smooch is not true. ; $context$ = sent1: if something that does approbate equivalent is not a button-quail the iron-tree smooches. sent2: the guestroom is not a ophidism if that the dihybrid is not a ophidism or it is not a decrease or both is false. sent3: the guestroom is a ophidism if the fact that it is not a button-quail and it does underquote justice is incorrect. sent4: the dihybrid is a ophidism but it does not approbate equivalent. sent5: something does smooch and does underquote justice. sent6: that that the dihybrid is not a ophidism and/or is not a decrease hold does not hold. sent7: the dihybrid does smooch if the iron-tree decreases. ; $proof$ = 
void -> assump2: Let's assume that the fact that the guestroom is not a button-quail but it does underquote justice is not right.; sent3 & assump2 -> int1: the guestroom is a kind of a ophidism.; sent2 & sent6 -> int2: the guestroom is not a ophidism.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the guestroom is not a kind of a button-quail but it underquotes justice.; int4 -> int5: the guestroom is not a kind of a button-quail.; void -> assump1: Let's assume that the guestroom does approbate equivalent.; int5 & assump1 -> int6: the guestroom does approbate equivalent and is not a button-quail.; int6 -> int7: there exists something such that it approbates equivalent and is not a button-quail.; int7 & sent1 -> int8: the iron-tree does smooch.; [assump1] & int8 -> hypothesis; __DISPROVED__