the ratite is a lobsterman but it does not deliquesce.
sent1: the poisonberry is a kind of a Abukir if the lascar does accelerate Juncus. sent2: the ferritin is not a cocarboxylase and not tolerant. sent3: the ferritin is facial thing that is not tolerant. sent4: the ratite is a lobsterman if it does not accelerate Juncus and is a kind of a facial. sent5: if the ferritin is both not a cocarboxylase and not tolerant then it is a juggle. sent6: the lascar is facial if the scolopendrium does quiver Maputo. sent7: something quivers Maputo if that it does not quivers Maputo and it is not a facial is not true. sent8: the ratite is a Abukir. sent9: if there exists something such that it transgresses the ratite is a kind of a lobsterman and does not deliquesce. sent10: the scolopendrium quivers Maputo if the ferritin juggles. sent11: the pome is not a kind of a cocarboxylase and is not a Goodyear. sent12: that something is a lobsterman that does not deliquesce is not right if it does quiver Maputo. sent13: if the poisonberry is a Abukir then the pome transgresses. sent14: if something is a facial it does accelerate Juncus. sent15: the scolopendrium is unbridgeable.
sent5 & sent2 -> int1: the ferritin does juggle.; int1 & sent10 -> int2: the scolopendrium quivers Maputo.; int2 & sent6 -> int3: the lascar is a facial.; sent14 -> int4: the lascar does accelerate Juncus if it is a facial.; int3 & int4 -> int5: the lascar accelerates Juncus.; int5 & sent1 -> int6: the poisonberry is a kind of a Abukir.; int6 & sent13 -> int7: the pome transgresses.; int7 -> int8: there is something such that it transgresses.; int8 & sent9 -> hypothesis;
the fact that the ratite is a lobsterman and does not deliquesce is not right.
sent12 -> int9: the fact that the ratite is a lobsterman but it does not deliquesce is incorrect if the fact that it does quiver Maputo hold.; sent7 -> int10: the ratite does quiver Maputo if the fact that it does not quiver Maputo and it is not a kind of a facial is not correct.;
$hypothesis$ = the ratite is a lobsterman but it does not deliquesce. ; $context$ = sent1: the poisonberry is a kind of a Abukir if the lascar does accelerate Juncus. sent2: the ferritin is not a cocarboxylase and not tolerant. sent3: the ferritin is facial thing that is not tolerant. sent4: the ratite is a lobsterman if it does not accelerate Juncus and is a kind of a facial. sent5: if the ferritin is both not a cocarboxylase and not tolerant then it is a juggle. sent6: the lascar is facial if the scolopendrium does quiver Maputo. sent7: something quivers Maputo if that it does not quivers Maputo and it is not a facial is not true. sent8: the ratite is a Abukir. sent9: if there exists something such that it transgresses the ratite is a kind of a lobsterman and does not deliquesce. sent10: the scolopendrium quivers Maputo if the ferritin juggles. sent11: the pome is not a kind of a cocarboxylase and is not a Goodyear. sent12: that something is a lobsterman that does not deliquesce is not right if it does quiver Maputo. sent13: if the poisonberry is a Abukir then the pome transgresses. sent14: if something is a facial it does accelerate Juncus. sent15: the scolopendrium is unbridgeable. ; $proof$ = 
sent5 & sent2 -> int1: the ferritin does juggle.; int1 & sent10 -> int2: the scolopendrium quivers Maputo.; int2 & sent6 -> int3: the lascar is a facial.; sent14 -> int4: the lascar does accelerate Juncus if it is a facial.; int3 & int4 -> int5: the lascar accelerates Juncus.; int5 & sent1 -> int6: the poisonberry is a kind of a Abukir.; int6 & sent13 -> int7: the pome transgresses.; int7 -> int8: there is something such that it transgresses.; int8 & sent9 -> hypothesis; __PROVED__