the diplodocus does blind intension if the oat is proud.
sent1: that something does not repot snatch but it is not non-proud is not true if it does blind intension. sent2: if there is something such that it does lean vaporizer and is not a kind of a Iranian the oat is not proud. sent3: the fact that the diplodocus is a Falstaff is true. sent4: if the fact that the diplodocus blinds intension hold then it leans vaporizer and it is not Iranian. sent5: the diplodocus is a kind of a Iranian but it does not blind intension if it is not proud. sent6: the oat is not a kind of a Iranian. sent7: if something does blind intension then it does lean vaporizer and is not a Iranian. sent8: if something does not repot consignee it is irrational and is not a kind of a antipyretic. sent9: the diplodocus is not a Iranian. sent10: that the staffer is a kind of a tourism is correct. sent11: there are proud and non-Iranian things. sent12: the oat does not blind intension. sent13: something is not a kind of a Iranian. sent14: the oat is not proud if something that does lean vaporizer is a kind of a Iranian. sent15: the oat does not repot snatch if that the balker does not repot snatch and is proud is incorrect. sent16: the fact that something leans vaporizer but it is not a Iranian if it does not blind intension is not false. sent17: if the diplodocus does not blind intension then that it is not a Iranian is true. sent18: if something does not blind intension it is not Iranian. sent19: if the diplodocus is not proud then it does blind intension and is not a Iranian.
void -> assump2: Let's assume that the oat is proud.; sent16 -> int1: the diplodocus leans vaporizer but it is not Iranian if it does not blind intension.; void -> assump1: Let's assume that the diplodocus does not blind intension.; int1 & assump1 -> int2: the diplodocus does lean vaporizer and is not a Iranian.; int2 -> int3: something does lean vaporizer and is non-Iranian.; int3 & sent2 -> int4: the oat is not proud.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the diplodocus blinds intension.; [assump2] & int6 -> hypothesis;
the fact that the oat does not repot snatch is correct.
sent1 -> int7: if the balker blinds intension the fact that it does not repot snatch and it is proud does not hold.;
$hypothesis$ = the diplodocus does blind intension if the oat is proud. ; $context$ = sent1: that something does not repot snatch but it is not non-proud is not true if it does blind intension. sent2: if there is something such that it does lean vaporizer and is not a kind of a Iranian the oat is not proud. sent3: the fact that the diplodocus is a Falstaff is true. sent4: if the fact that the diplodocus blinds intension hold then it leans vaporizer and it is not Iranian. sent5: the diplodocus is a kind of a Iranian but it does not blind intension if it is not proud. sent6: the oat is not a kind of a Iranian. sent7: if something does blind intension then it does lean vaporizer and is not a Iranian. sent8: if something does not repot consignee it is irrational and is not a kind of a antipyretic. sent9: the diplodocus is not a Iranian. sent10: that the staffer is a kind of a tourism is correct. sent11: there are proud and non-Iranian things. sent12: the oat does not blind intension. sent13: something is not a kind of a Iranian. sent14: the oat is not proud if something that does lean vaporizer is a kind of a Iranian. sent15: the oat does not repot snatch if that the balker does not repot snatch and is proud is incorrect. sent16: the fact that something leans vaporizer but it is not a Iranian if it does not blind intension is not false. sent17: if the diplodocus does not blind intension then that it is not a Iranian is true. sent18: if something does not blind intension it is not Iranian. sent19: if the diplodocus is not proud then it does blind intension and is not a Iranian. ; $proof$ = 
void -> assump2: Let's assume that the oat is proud.; sent16 -> int1: the diplodocus leans vaporizer but it is not Iranian if it does not blind intension.; void -> assump1: Let's assume that the diplodocus does not blind intension.; int1 & assump1 -> int2: the diplodocus does lean vaporizer and is not a Iranian.; int2 -> int3: something does lean vaporizer and is non-Iranian.; int3 & sent2 -> int4: the oat is not proud.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the diplodocus blinds intension.; [assump2] & int6 -> hypothesis; __PROVED__