the jotter is a topping.
sent1: if the cerate is not Incan then the fact that it does not confederate Olympia hold. sent2: there exists something such that the fact that it mentors is not wrong. sent3: if the floret is not a kind of a spellbinder that it is not a guyot is true. sent4: the cerate is not a spellbinder. sent5: the jotter is a kind of a Sindhi if it confederates Olympia. sent6: something is katabatic. sent7: the cerate is both Incan and a guyot. sent8: the jotter is not a guyot. sent9: the cerate is a guyot. sent10: something is a kind of a Sindhi and is Incan. sent11: the circumference is not non-Incan. sent12: if the jotter does not confederate Olympia it is not a topping. sent13: there exists something such that it is a Sindhi. sent14: if the jotter is a kind of a Sindhi then the floret is a spellbinder. sent15: if something is Incan and is a guyot the floret is not a kind of a spellbinder.
void -> assump1: Let's assume that the jotter does confederate Olympia.; sent5 & assump1 -> int1: the jotter is a kind of a Sindhi.; int1 & sent14 -> int2: the floret is a spellbinder.; sent7 -> int3: there is something such that it is Incan and it is a kind of a guyot.; int3 & sent15 -> int4: the floret is not a spellbinder.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jotter does not confederate Olympia.; int6 & sent12 -> hypothesis;
$hypothesis$ = the jotter is a topping. ; $context$ = sent1: if the cerate is not Incan then the fact that it does not confederate Olympia hold. sent2: there exists something such that the fact that it mentors is not wrong. sent3: if the floret is not a kind of a spellbinder that it is not a guyot is true. sent4: the cerate is not a spellbinder. sent5: the jotter is a kind of a Sindhi if it confederates Olympia. sent6: something is katabatic. sent7: the cerate is both Incan and a guyot. sent8: the jotter is not a guyot. sent9: the cerate is a guyot. sent10: something is a kind of a Sindhi and is Incan. sent11: the circumference is not non-Incan. sent12: if the jotter does not confederate Olympia it is not a topping. sent13: there exists something such that it is a Sindhi. sent14: if the jotter is a kind of a Sindhi then the floret is a spellbinder. sent15: if something is Incan and is a guyot the floret is not a kind of a spellbinder. ; $proof$ = 
void -> assump1: Let's assume that the jotter does confederate Olympia.; sent5 & assump1 -> int1: the jotter is a kind of a Sindhi.; int1 & sent14 -> int2: the floret is a spellbinder.; sent7 -> int3: there is something such that it is Incan and it is a kind of a guyot.; int3 & sent15 -> int4: the floret is not a spellbinder.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jotter does not confederate Olympia.; int6 & sent12 -> hypothesis; __DISPROVED__