the Pitman is not a kind of a banteng.
sent1: there are legible and simian things. sent2: the agamete is illegible thing that is not non-simian if the phaius is not illegible. sent3: the cocksfoot is a pantheist if there exists something such that the fact that it is not a Shavian and it is not a Trevithick does not hold. sent4: the fact that the phaius is not legible hold if there is something such that it is not a usherette. sent5: the kicker is a photocopier and nickels nodule. sent6: if the cocksfoot is allomerous a bed the Pitman is not a kind of a banteng. sent7: if the Jansenist does not organize paddle-wheeler that the dug is not a Shavian and is not a kind of a Trevithick is wrong. sent8: the cocksfoot beds and it is a pantheist. sent9: if something does not organize platelet then the swanflower is not a usherette. sent10: if something is a pantheist the agamete is a simian and it beds. sent11: there exists something such that it does not organize platelet. sent12: the Jansenist does not organize paddle-wheeler if it is a token. sent13: the fact that something does not organize platelet and it is not a usherette is not right if it is legible. sent14: if that the agamete is a simian is correct then that the phaius is not legible and is allomerous does not hold. sent15: if the kicker is a kind of a photocopier the Jansenist is a token. sent16: the swanflower is legible if the fact that the phaius is not legible but it is allomerous is incorrect. sent17: the fact that the cocksfoot is allomerous is correct if there is something such that it is not legible and it is a simian.
sent11 & sent9 -> int1: the swanflower is not a usherette.; int1 -> int2: there exists something such that it is not a usherette.; int2 & sent4 -> int3: the phaius is not legible.; int3 & sent2 -> int4: the agamete is not legible but it is simian.; int4 -> int5: that something is not legible but it is a simian is right.; int5 & sent17 -> int6: the cocksfoot is allomerous.; sent8 -> int7: the cocksfoot is a bed.; int6 & int7 -> int8: the cocksfoot is allomerous and it does bed.; int8 & sent6 -> hypothesis;
the Pitman is a kind of a banteng.
sent13 -> int9: the fact that the swanflower does not organize platelet and it is not a usherette does not hold if it is legible.; sent5 -> int10: the kicker is a photocopier.; sent15 & int10 -> int11: the Jansenist is a kind of a token.; sent12 & int11 -> int12: the Jansenist does not organize paddle-wheeler.; sent7 & int12 -> int13: that the dug is not a Shavian and it is not a kind of a Trevithick is not right.; int13 -> int14: there is something such that that it is not a kind of a Shavian and it is not a Trevithick is false.; int14 & sent3 -> int15: the cocksfoot is pantheist.; int15 -> int16: there are pantheist things.; int16 & sent10 -> int17: the agamete is a simian and it is a bed.; int17 -> int18: the fact that the agamete is a simian hold.; sent14 & int18 -> int19: that the phaius is not legible but it is allomerous is not correct.; sent16 & int19 -> int20: the fact that the swanflower is legible is right.; int9 & int20 -> int21: the fact that the swanflower does not organize platelet and is not a kind of a usherette is not right.; int21 -> int22: there exists something such that that it does not organize platelet and it is not a kind of a usherette is incorrect.;
$hypothesis$ = the Pitman is not a kind of a banteng. ; $context$ = sent1: there are legible and simian things. sent2: the agamete is illegible thing that is not non-simian if the phaius is not illegible. sent3: the cocksfoot is a pantheist if there exists something such that the fact that it is not a Shavian and it is not a Trevithick does not hold. sent4: the fact that the phaius is not legible hold if there is something such that it is not a usherette. sent5: the kicker is a photocopier and nickels nodule. sent6: if the cocksfoot is allomerous a bed the Pitman is not a kind of a banteng. sent7: if the Jansenist does not organize paddle-wheeler that the dug is not a Shavian and is not a kind of a Trevithick is wrong. sent8: the cocksfoot beds and it is a pantheist. sent9: if something does not organize platelet then the swanflower is not a usherette. sent10: if something is a pantheist the agamete is a simian and it beds. sent11: there exists something such that it does not organize platelet. sent12: the Jansenist does not organize paddle-wheeler if it is a token. sent13: the fact that something does not organize platelet and it is not a usherette is not right if it is legible. sent14: if that the agamete is a simian is correct then that the phaius is not legible and is allomerous does not hold. sent15: if the kicker is a kind of a photocopier the Jansenist is a token. sent16: the swanflower is legible if the fact that the phaius is not legible but it is allomerous is incorrect. sent17: the fact that the cocksfoot is allomerous is correct if there is something such that it is not legible and it is a simian. ; $proof$ = 
sent11 & sent9 -> int1: the swanflower is not a usherette.; int1 -> int2: there exists something such that it is not a usherette.; int2 & sent4 -> int3: the phaius is not legible.; int3 & sent2 -> int4: the agamete is not legible but it is simian.; int4 -> int5: that something is not legible but it is a simian is right.; int5 & sent17 -> int6: the cocksfoot is allomerous.; sent8 -> int7: the cocksfoot is a bed.; int6 & int7 -> int8: the cocksfoot is allomerous and it does bed.; int8 & sent6 -> hypothesis; __PROVED__