the motor is a Gond and agranulocytic.
sent1: if something is not a give then it bolts. sent2: the pellitory-of-the-wall does demote methyl and it does master morion. sent3: if something gives it is a Gond. sent4: the casquet is not frequent. sent5: the krypton is a prolactin and/or is agranulocytic if it is not a kind of a exultation. sent6: the tweeter is a twenty-five if that the pellitory-of-the-wall does demote methyl hold. sent7: if there exists something such that it does bolt and it is a give the krypton is not a Gond. sent8: the motor is agranulocytic if the krypton is a prolactin. sent9: if there is something such that the fact that it is a exultation and is a prolactin is false the tweeter is a bolt. sent10: if something is not frequent then it does not brad laureate. sent11: a twenty-five gives. sent12: the cradle is not a bolt. sent13: if the casquet does not brad laureate that it is a exultation and is a kind of a prolactin is wrong. sent14: if the cradle is a give the motor is a Gond. sent15: the scalp is agranulocytic and it is pure. sent16: if the motor is not a prolactin then that it does not give and it is not a kind of a bolt is not correct. sent17: if something is not a give the fact that it is both a Gond and agranulocytic is wrong. sent18: if the krypton is agranulocytic the motor is agranulocytic. sent19: the cradle is both a enalapril and a exultation. sent20: the krypton is not a kind of a exultation.
sent1 -> int1: that the cradle bolts hold if it is not a give.; void -> assump1: Let's assume that the cradle is not a kind of a give.; int1 & assump1 -> int2: the cradle is a bolt.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cradle is a kind of a give.; int4 & sent14 -> int5: the motor is a Gond.; sent5 & sent20 -> int6: the krypton is either a prolactin or agranulocytic or both.; int6 & sent8 & sent18 -> int7: the motor is agranulocytic.; int5 & int7 -> hypothesis;
that the motor is a Gond and is agranulocytic is false.
sent10 -> int8: if the casquet does not frequent then it does not brad laureate.; int8 & sent4 -> int9: the casquet does not brad laureate.; sent13 & int9 -> int10: the fact that the casquet is a exultation and is a prolactin is not right.; int10 -> int11: there is something such that that it is a kind of a exultation and it is a prolactin is wrong.; int11 & sent9 -> int12: the tweeter does bolt.; sent11 -> int13: if the tweeter is a kind of a twenty-five then it is a give.; sent2 -> int14: the pellitory-of-the-wall demotes methyl.; sent6 & int14 -> int15: that the tweeter is a kind of a twenty-five hold.; int13 & int15 -> int16: the tweeter is a give.; int12 & int16 -> int17: the tweeter bolts and it does give.; int17 -> int18: something does bolt and it is a kind of a give.; int18 & sent7 -> int19: the krypton is not a kind of a Gond.; int19 -> int20: there exists something such that it is not a Gond.;
$hypothesis$ = the motor is a Gond and agranulocytic. ; $context$ = sent1: if something is not a give then it bolts. sent2: the pellitory-of-the-wall does demote methyl and it does master morion. sent3: if something gives it is a Gond. sent4: the casquet is not frequent. sent5: the krypton is a prolactin and/or is agranulocytic if it is not a kind of a exultation. sent6: the tweeter is a twenty-five if that the pellitory-of-the-wall does demote methyl hold. sent7: if there exists something such that it does bolt and it is a give the krypton is not a Gond. sent8: the motor is agranulocytic if the krypton is a prolactin. sent9: if there is something such that the fact that it is a exultation and is a prolactin is false the tweeter is a bolt. sent10: if something is not frequent then it does not brad laureate. sent11: a twenty-five gives. sent12: the cradle is not a bolt. sent13: if the casquet does not brad laureate that it is a exultation and is a kind of a prolactin is wrong. sent14: if the cradle is a give the motor is a Gond. sent15: the scalp is agranulocytic and it is pure. sent16: if the motor is not a prolactin then that it does not give and it is not a kind of a bolt is not correct. sent17: if something is not a give the fact that it is both a Gond and agranulocytic is wrong. sent18: if the krypton is agranulocytic the motor is agranulocytic. sent19: the cradle is both a enalapril and a exultation. sent20: the krypton is not a kind of a exultation. ; $proof$ = 
sent1 -> int1: that the cradle bolts hold if it is not a give.; void -> assump1: Let's assume that the cradle is not a kind of a give.; int1 & assump1 -> int2: the cradle is a bolt.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cradle is a kind of a give.; int4 & sent14 -> int5: the motor is a Gond.; sent5 & sent20 -> int6: the krypton is either a prolactin or agranulocytic or both.; int6 & sent8 & sent18 -> int7: the motor is agranulocytic.; int5 & int7 -> hypothesis; __PROVED__