the Jonathan is spastic a Macedonian.
sent1: the Jonathan is not philatelic but it is arterial if the earthenware does not scrimmage. sent2: the shelver is not a palliation. sent3: if the shelver is not a palliation then it does not tessellate and does not convoy ruggedness. sent4: if something convoys denunciation the fact that it is not a distaff but a scrimmage does not hold. sent5: if the shelver does not tessellate and does not convoy ruggedness then it does convoy denunciation. sent6: if there is something such that that it is not a distaff but a scrimmage is not true the earthenware is not a scrimmage. sent7: if something that is not philatelic is arterial it is a shaft. sent8: if the daydreamer is not philatelic the fact that the Jonathan is a kind of spastic thing that is a kind of a Macedonian is false. sent9: if the antimuon is not hadal but it is a disposable the Jonathan is a jittering. sent10: the daydreamer is a shaft if a scrimmage is arterial. sent11: if something is voltaic it is a Macedonian. sent12: something is a kind of a scrimmage that is not arterial. sent13: the daydreamer is a kind of a shaft if a scrimmage is not arterial. sent14: something is spastic if the fact that it shafts is not false. sent15: if something that is not a shaft is philatelic it is not a kind of a spastic. sent16: something is not philatelic if it is a shaft. sent17: something is voltaic if it is a jittering. sent18: the housewife is not a kind of a tunnel.
sent16 -> int1: the daydreamer is not philatelic if it is a kind of a shaft.; sent12 & sent13 -> int2: the daydreamer does shaft.; int1 & int2 -> int3: the daydreamer is not philatelic.; int3 & sent8 -> hypothesis;
the Jonathan is a spastic and it is a kind of a Macedonian.
sent14 -> int4: that the Jonathan is a kind of the spastic if the Jonathan is a shaft is not incorrect.; sent7 -> int5: the Jonathan is a shaft if it is not philatelic but arterial.; sent4 -> int6: that the shelver is not a kind of a distaff but it does scrimmage is not correct if it convoys denunciation.; sent3 & sent2 -> int7: the shelver does not tessellate and does not convoy ruggedness.; sent5 & int7 -> int8: the shelver convoys denunciation.; int6 & int8 -> int9: that the shelver is not a distaff and is a scrimmage is incorrect.; int9 -> int10: there is something such that that it is not a kind of a distaff and it is a scrimmage is wrong.; int10 & sent6 -> int11: the earthenware does not scrimmage.; sent1 & int11 -> int12: the Jonathan is not philatelic but it is arterial.; int5 & int12 -> int13: the Jonathan does shaft.; int4 & int13 -> int14: that the Jonathan is a spastic is not incorrect.; sent11 -> int15: if that the Jonathan is voltaic hold it is a kind of a Macedonian.; sent17 -> int16: if the Jonathan is a jittering then it is voltaic.; sent18 -> int17: there is something such that it is not a kind of a tunnel.;
$hypothesis$ = the Jonathan is spastic a Macedonian. ; $context$ = sent1: the Jonathan is not philatelic but it is arterial if the earthenware does not scrimmage. sent2: the shelver is not a palliation. sent3: if the shelver is not a palliation then it does not tessellate and does not convoy ruggedness. sent4: if something convoys denunciation the fact that it is not a distaff but a scrimmage does not hold. sent5: if the shelver does not tessellate and does not convoy ruggedness then it does convoy denunciation. sent6: if there is something such that that it is not a distaff but a scrimmage is not true the earthenware is not a scrimmage. sent7: if something that is not philatelic is arterial it is a shaft. sent8: if the daydreamer is not philatelic the fact that the Jonathan is a kind of spastic thing that is a kind of a Macedonian is false. sent9: if the antimuon is not hadal but it is a disposable the Jonathan is a jittering. sent10: the daydreamer is a shaft if a scrimmage is arterial. sent11: if something is voltaic it is a Macedonian. sent12: something is a kind of a scrimmage that is not arterial. sent13: the daydreamer is a kind of a shaft if a scrimmage is not arterial. sent14: something is spastic if the fact that it shafts is not false. sent15: if something that is not a shaft is philatelic it is not a kind of a spastic. sent16: something is not philatelic if it is a shaft. sent17: something is voltaic if it is a jittering. sent18: the housewife is not a kind of a tunnel. ; $proof$ = 
sent16 -> int1: the daydreamer is not philatelic if it is a kind of a shaft.; sent12 & sent13 -> int2: the daydreamer does shaft.; int1 & int2 -> int3: the daydreamer is not philatelic.; int3 & sent8 -> hypothesis; __DISPROVED__