the lotus is not a spillway.
sent1: if something is not a fell then it is not a kind of a doublespeak. sent2: if the lotus is a kind of addictive thing that is impassable it is not a fell. sent3: the microfiche is a spillway if it does damage cynicism. sent4: the lotus is a carissa. sent5: if the airline is a spillway and/or not outdoors then the lotus capitalizes bioweapon. sent6: if something is impassable the fact that it falls and it is not outdoors is false. sent7: the lotus is impassable. sent8: the freewheel is impassable. sent9: the airline is a kind of a doublespeak if it is not addictive or it does not capitalize bioweapon or both. sent10: if that the freewheel is a kind of a fell but it is not outdoors is not correct then it is not a fell. sent11: the airline is a kind of a spillway. sent12: if the airline is a doublespeak then that it does bethink TRH is not false. sent13: the airline is not addictive and/or it does not capitalize bioweapon. sent14: if the airline either does bethink TRH or does not fall or both then the lotus is outdoors. sent15: the TRH is outdoors. sent16: the dot bethinks TRH if the airline is not a fell and bethinks TRH. sent17: something is a kind of a spillway if the fact that it does not bethink TRH and is not a spillway is incorrect. sent18: the airline is impassable.
sent9 & sent13 -> int1: the airline is a kind of a doublespeak.; int1 & sent12 -> int2: the fact that the airline does bethink TRH is not wrong.; int2 -> int3: the airline does bethink TRH or is not a kind of a fell or both.; int3 & sent14 -> int4: the lotus is outdoors.; int4 & sent7 -> int5: the lotus is both not non-outdoors and not passable.;
the dot does bethink TRH.
$hypothesis$ = the lotus is not a spillway. ; $context$ = sent1: if something is not a fell then it is not a kind of a doublespeak. sent2: if the lotus is a kind of addictive thing that is impassable it is not a fell. sent3: the microfiche is a spillway if it does damage cynicism. sent4: the lotus is a carissa. sent5: if the airline is a spillway and/or not outdoors then the lotus capitalizes bioweapon. sent6: if something is impassable the fact that it falls and it is not outdoors is false. sent7: the lotus is impassable. sent8: the freewheel is impassable. sent9: the airline is a kind of a doublespeak if it is not addictive or it does not capitalize bioweapon or both. sent10: if that the freewheel is a kind of a fell but it is not outdoors is not correct then it is not a fell. sent11: the airline is a kind of a spillway. sent12: if the airline is a doublespeak then that it does bethink TRH is not false. sent13: the airline is not addictive and/or it does not capitalize bioweapon. sent14: if the airline either does bethink TRH or does not fall or both then the lotus is outdoors. sent15: the TRH is outdoors. sent16: the dot bethinks TRH if the airline is not a fell and bethinks TRH. sent17: something is a kind of a spillway if the fact that it does not bethink TRH and is not a spillway is incorrect. sent18: the airline is impassable. ; $proof$ = 
sent9 & sent13 -> int1: the airline is a kind of a doublespeak.; int1 & sent12 -> int2: the fact that the airline does bethink TRH is not wrong.; int2 -> int3: the airline does bethink TRH or is not a kind of a fell or both.; int3 & sent14 -> int4: the lotus is outdoors.; int4 & sent7 -> int5: the lotus is both not non-outdoors and not passable.; __UNKNOWN__