there is something such that if the fact that it lurches retractor and it is a lacebark is not true it is not catapultic.
sent1: that the tarwood is Quechuan is true if that it is a lacebark and not non-tactical is wrong. sent2: there exists something such that if the fact that it lurches retractor and is a kind of a lacebark is true it is not catapultic. sent3: if the fact that something lurches retractor and is a lacebark is false that it is not catapultic is true. sent4: if that the tarwood is a kind of a Simarouba and it does program stitch is false it is not a brooding. sent5: there is something such that if it is not perceptive then the fact that it does not cope sandwichman is true. sent6: there is something such that if it is not a kind of a shopfront then it does not output. sent7: something is not catapultic if it does lurch retractor and it is a lacebark. sent8: there is something such that if the fact that it is taciturn and an overcast is not correct it carols zebibit. sent9: the flower-of-an-hour does not cope socage if that it lurches retractor and does can is not right. sent10: there is something such that if it does not reheat then it is not an executor.
sent3 -> int1: if that the tarwood lurches retractor and is a lacebark does not hold then it is not catapultic.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it lurches retractor and it is a lacebark is not true it is not catapultic. ; $context$ = sent1: that the tarwood is Quechuan is true if that it is a lacebark and not non-tactical is wrong. sent2: there exists something such that if the fact that it lurches retractor and is a kind of a lacebark is true it is not catapultic. sent3: if the fact that something lurches retractor and is a lacebark is false that it is not catapultic is true. sent4: if that the tarwood is a kind of a Simarouba and it does program stitch is false it is not a brooding. sent5: there is something such that if it is not perceptive then the fact that it does not cope sandwichman is true. sent6: there is something such that if it is not a kind of a shopfront then it does not output. sent7: something is not catapultic if it does lurch retractor and it is a lacebark. sent8: there is something such that if the fact that it is taciturn and an overcast is not correct it carols zebibit. sent9: the flower-of-an-hour does not cope socage if that it lurches retractor and does can is not right. sent10: there is something such that if it does not reheat then it is not an executor. ; $proof$ = 
sent3 -> int1: if that the tarwood lurches retractor and is a lacebark does not hold then it is not catapultic.; int1 -> hypothesis; __PROVED__