the spongefly is not non-pro.
sent1: if something that is a Kansas is a kind of a sackbut then it is not pro. sent2: the chalcidfly is playable if the fact that the belching is a dalesman but it is not playable does not hold. sent3: that the multiprocessor is an exchanger that is not a crew is not true. sent4: if there exists something such that that it is not a knockdown and does not premise vestryman is not true then the cheesecloth is an adulteration. sent5: if the cheesecloth is apicultural then the belching is not a Persephone. sent6: if something is not a Kansas then the fact that it is a sackbut and it is a kind of a coronation is wrong. sent7: the elytron is a Kansas if the telegraphy is a Kansas. sent8: if the multiprocessor is a coronation then it does premise deathtrap. sent9: if the hemiplegic is a motile then that the chess is not a knockdown and does not premise vestryman is wrong. sent10: if the multiprocessor crows then the fact that it is a kind of a coronation is correct. sent11: something that is a kind of an adulteration is a kind of an ability. sent12: if something is not a kind of a Persephone then that it is a kind of a dalesman that is not playable is wrong. sent13: the vignette is an exchanger. sent14: if the graft is not cerebral then the hemiplegic is a kind of a motile and it smooths. sent15: the spongefly is pro and it premises deathtrap if the elytron is not a coronation. sent16: if something is an ability then it is apicultural. sent17: the elytron is a kind of a sackbut if the multiprocessor does premise deathtrap. sent18: the spongefly is playable and not pro if the elytron is not pro. sent19: the elytron premises deathtrap if it is a sackbut and is not a coronation. sent20: a crew is a kind of a coronation. sent21: the elytron is not a coronation if that the telegraphy is a sackbut and it is a coronation is not true. sent22: if the fact that something is a kind of an exchanger but it is not a crew is false it is a coronation. sent23: the spongefly is playable if the elytron is not a pro. sent24: the telegraphy is a Kansas. sent25: everything is not cerebral.
sent22 -> int1: the multiprocessor is a coronation if the fact that it is an exchanger and it is not a crew is not right.; int1 & sent3 -> int2: the multiprocessor is a coronation.; int2 & sent8 -> int3: the fact that the multiprocessor premises deathtrap hold.; int3 & sent17 -> int4: the elytron is a sackbut.; sent7 & sent24 -> int5: the fact that the elytron is a Kansas is right.; int4 & int5 -> int6: the elytron is a Kansas and is a sackbut.; sent1 -> int7: if the elytron is a kind of a Kansas and is a sackbut then it is not a kind of a pro.; int6 & int7 -> int8: the elytron is not a kind of a pro.; int8 & sent18 -> int9: the spongefly is not unplayable and is non-pro.; int9 -> hypothesis;
the spongefly is a pro.
sent6 -> int10: the fact that the telegraphy is a sackbut that is a coronation is not right if it is not a Kansas.; sent12 -> int11: if that the belching is not a kind of a Persephone is not incorrect the fact that it is a dalesman and it is not playable is not true.; sent16 -> int12: if the fact that the cheesecloth is an ability is right then it is apicultural.; sent11 -> int13: if the cheesecloth is a kind of an adulteration then it is an ability.; sent25 -> int14: the graft is non-cerebral.; sent14 & int14 -> int15: the hemiplegic is a motile and it is a smooth.; int15 -> int16: the fact that the hemiplegic is a motile is not false.; sent9 & int16 -> int17: the fact that the chess is not a knockdown and does not premise vestryman is false.; int17 -> int18: there is something such that the fact that it is not a knockdown and does not premise vestryman does not hold.; int18 & sent4 -> int19: the cheesecloth is an adulteration.; int13 & int19 -> int20: the cheesecloth is a kind of an ability.; int12 & int20 -> int21: the cheesecloth is not non-apicultural.; sent5 & int21 -> int22: that the belching is not a kind of a Persephone is correct.; int11 & int22 -> int23: the fact that the belching is a dalesman that is not playable is false.; sent2 & int23 -> int24: the chalcidfly is playable.; int24 -> int25: something is playable.;
$hypothesis$ = the spongefly is not non-pro. ; $context$ = sent1: if something that is a Kansas is a kind of a sackbut then it is not pro. sent2: the chalcidfly is playable if the fact that the belching is a dalesman but it is not playable does not hold. sent3: that the multiprocessor is an exchanger that is not a crew is not true. sent4: if there exists something such that that it is not a knockdown and does not premise vestryman is not true then the cheesecloth is an adulteration. sent5: if the cheesecloth is apicultural then the belching is not a Persephone. sent6: if something is not a Kansas then the fact that it is a sackbut and it is a kind of a coronation is wrong. sent7: the elytron is a Kansas if the telegraphy is a Kansas. sent8: if the multiprocessor is a coronation then it does premise deathtrap. sent9: if the hemiplegic is a motile then that the chess is not a knockdown and does not premise vestryman is wrong. sent10: if the multiprocessor crows then the fact that it is a kind of a coronation is correct. sent11: something that is a kind of an adulteration is a kind of an ability. sent12: if something is not a kind of a Persephone then that it is a kind of a dalesman that is not playable is wrong. sent13: the vignette is an exchanger. sent14: if the graft is not cerebral then the hemiplegic is a kind of a motile and it smooths. sent15: the spongefly is pro and it premises deathtrap if the elytron is not a coronation. sent16: if something is an ability then it is apicultural. sent17: the elytron is a kind of a sackbut if the multiprocessor does premise deathtrap. sent18: the spongefly is playable and not pro if the elytron is not pro. sent19: the elytron premises deathtrap if it is a sackbut and is not a coronation. sent20: a crew is a kind of a coronation. sent21: the elytron is not a coronation if that the telegraphy is a sackbut and it is a coronation is not true. sent22: if the fact that something is a kind of an exchanger but it is not a crew is false it is a coronation. sent23: the spongefly is playable if the elytron is not a pro. sent24: the telegraphy is a Kansas. sent25: everything is not cerebral. ; $proof$ = 
sent22 -> int1: the multiprocessor is a coronation if the fact that it is an exchanger and it is not a crew is not right.; int1 & sent3 -> int2: the multiprocessor is a coronation.; int2 & sent8 -> int3: the fact that the multiprocessor premises deathtrap hold.; int3 & sent17 -> int4: the elytron is a sackbut.; sent7 & sent24 -> int5: the fact that the elytron is a Kansas is right.; int4 & int5 -> int6: the elytron is a Kansas and is a sackbut.; sent1 -> int7: if the elytron is a kind of a Kansas and is a sackbut then it is not a kind of a pro.; int6 & int7 -> int8: the elytron is not a kind of a pro.; int8 & sent18 -> int9: the spongefly is not unplayable and is non-pro.; int9 -> hypothesis; __DISPROVED__