the ignition is a kind of an ion.
sent1: the ignition dominates but it is not a Rivera if it does update ignition. sent2: the ignition updates ignition. sent3: the ignition is not a Rivera. sent4: the gayfeather is geomorphologic. sent5: if the graphologist is Wordsworthian then it is upstream. sent6: that the ignition is geomorphologic hold if that it is a Rivera and it is not a payee is not correct. sent7: the ignition is not a Rivera if it updates ignition. sent8: the gayfeather is not a payee if it dominates and it is Wordsworthian. sent9: if that something does dominate and/or it is not Wordsworthian is not correct then it is not psychological. sent10: if the fact that something is a payee that is not a Chlamydera is not true it is psychological. sent11: if the gayfeather is a Chlamydera it is psychological. sent12: if the gayfeather is geomorphologic the fact that it is a payee and is not a Chlamydera is not true. sent13: The ignition updates ignition. sent14: if the gayfeather is psychological then the ignition is Wordsworthian. sent15: that the fact that the gayfeather is a payee and it is a Chlamydera is not false is not true. sent16: if a Wordsworthian thing does dominate then it is not an ion. sent17: the ignition is geomorphologic if the fact that it is a payee and it is not an ion is not true. sent18: something is psychological if it is a Chlamydera.
sent12 & sent4 -> int1: that the gayfeather is a payee but it is not a Chlamydera does not hold.; sent10 -> int2: the gayfeather is psychological if the fact that it is a payee that is not a Chlamydera does not hold.; int1 & int2 -> int3: the gayfeather is psychological.; int3 & sent14 -> int4: the ignition is Wordsworthian.; sent1 & sent2 -> int5: the ignition dominates and is not a kind of a Rivera.; int5 -> int6: the ignition does dominate.; int4 & int6 -> int7: the ignition is Wordsworthian and it does dominate.; sent16 -> int8: the ignition is not an ion if it is Wordsworthian and dominates.; int7 & int8 -> hypothesis;
the ignition is a kind of an ion.
sent9 -> int9: if the fact that the ignition either dominates or is not Wordsworthian or both is incorrect it is not psychological.;
$hypothesis$ = the ignition is a kind of an ion. ; $context$ = sent1: the ignition dominates but it is not a Rivera if it does update ignition. sent2: the ignition updates ignition. sent3: the ignition is not a Rivera. sent4: the gayfeather is geomorphologic. sent5: if the graphologist is Wordsworthian then it is upstream. sent6: that the ignition is geomorphologic hold if that it is a Rivera and it is not a payee is not correct. sent7: the ignition is not a Rivera if it updates ignition. sent8: the gayfeather is not a payee if it dominates and it is Wordsworthian. sent9: if that something does dominate and/or it is not Wordsworthian is not correct then it is not psychological. sent10: if the fact that something is a payee that is not a Chlamydera is not true it is psychological. sent11: if the gayfeather is a Chlamydera it is psychological. sent12: if the gayfeather is geomorphologic the fact that it is a payee and is not a Chlamydera is not true. sent13: The ignition updates ignition. sent14: if the gayfeather is psychological then the ignition is Wordsworthian. sent15: that the fact that the gayfeather is a payee and it is a Chlamydera is not false is not true. sent16: if a Wordsworthian thing does dominate then it is not an ion. sent17: the ignition is geomorphologic if the fact that it is a payee and it is not an ion is not true. sent18: something is psychological if it is a Chlamydera. ; $proof$ = 
sent12 & sent4 -> int1: that the gayfeather is a payee but it is not a Chlamydera does not hold.; sent10 -> int2: the gayfeather is psychological if the fact that it is a payee that is not a Chlamydera does not hold.; int1 & int2 -> int3: the gayfeather is psychological.; int3 & sent14 -> int4: the ignition is Wordsworthian.; sent1 & sent2 -> int5: the ignition dominates and is not a kind of a Rivera.; int5 -> int6: the ignition does dominate.; int4 & int6 -> int7: the ignition is Wordsworthian and it does dominate.; sent16 -> int8: the ignition is not an ion if it is Wordsworthian and dominates.; int7 & int8 -> hypothesis; __DISPROVED__