the sedan is a triton.
sent1: the sedan is a kind of a martin that is not an attar. sent2: the fact that that the plesiosaur is not Teutonic but it is a home-farm does not hold hold. sent3: the cloakroom is a Ottoman. sent4: if the cloakroom is a Ottoman then the refilling does besot Trenton. sent5: that that the cloakroom is not a kind of a anjou but it is postmeridian is not true if the refilling is a Ottoman is not false. sent6: the fact that if the fact that something is not a looking but it is unicellular is not correct the fact that it is not a anjou is not wrong hold. sent7: if the cloakroom is not a looking the refilling is not unicellular or a Ottoman or both. sent8: the afterdeck is not a pick or lysogenizes biquadrate or both if that the plesiosaur is not a Mao is right. sent9: the fact that the lobelia is non-postmeridian and is a rolling is false. sent10: the lobelia is Teutonic if the afterdeck is not a kind of a pick or it does lysogenize biquadrate or both. sent11: something besots Trenton and is not a Mao if the fact that it does not lysogenize biquadrate hold. sent12: the lobelia is not Teutonic if that it is non-postmeridian a rolling is incorrect. sent13: the sedan is not postmeridian and/or it is a kind of a triton. sent14: the plesiosaur is not a kind of a Mao if the refilling does besot Trenton but it is not a anjou. sent15: that the refilling is not a looking but it is unicellular is wrong if the sedan is a triton.
void -> assump1: Let's assume that the sedan is a triton.; sent15 & assump1 -> int1: that the fact that the refilling does not look and is unicellular is not wrong is not true.; sent6 -> int2: if that the refilling is not a kind of a looking and is unicellular is incorrect it is not a kind of a anjou.; int1 & int2 -> int3: the refilling is not a anjou.; sent4 & sent3 -> int4: the refilling besots Trenton.; int3 & int4 -> int5: the refilling besots Trenton but it is not a kind of a anjou.; int5 & sent14 -> int6: the plesiosaur is not a kind of a Mao.; int6 & sent8 -> int7: the afterdeck is not a pick and/or it lysogenizes biquadrate.; int7 & sent10 -> int8: the lobelia is not non-Teutonic.; sent12 & sent9 -> int9: the lobelia is not Teutonic.; int8 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the sedan is a triton.
sent11 -> int11: the plesiosaur does besot Trenton but it is not a Mao if it does not lysogenize biquadrate.;
$hypothesis$ = the sedan is a triton. ; $context$ = sent1: the sedan is a kind of a martin that is not an attar. sent2: the fact that that the plesiosaur is not Teutonic but it is a home-farm does not hold hold. sent3: the cloakroom is a Ottoman. sent4: if the cloakroom is a Ottoman then the refilling does besot Trenton. sent5: that that the cloakroom is not a kind of a anjou but it is postmeridian is not true if the refilling is a Ottoman is not false. sent6: the fact that if the fact that something is not a looking but it is unicellular is not correct the fact that it is not a anjou is not wrong hold. sent7: if the cloakroom is not a looking the refilling is not unicellular or a Ottoman or both. sent8: the afterdeck is not a pick or lysogenizes biquadrate or both if that the plesiosaur is not a Mao is right. sent9: the fact that the lobelia is non-postmeridian and is a rolling is false. sent10: the lobelia is Teutonic if the afterdeck is not a kind of a pick or it does lysogenize biquadrate or both. sent11: something besots Trenton and is not a Mao if the fact that it does not lysogenize biquadrate hold. sent12: the lobelia is not Teutonic if that it is non-postmeridian a rolling is incorrect. sent13: the sedan is not postmeridian and/or it is a kind of a triton. sent14: the plesiosaur is not a kind of a Mao if the refilling does besot Trenton but it is not a anjou. sent15: that the refilling is not a looking but it is unicellular is wrong if the sedan is a triton. ; $proof$ = 
void -> assump1: Let's assume that the sedan is a triton.; sent15 & assump1 -> int1: that the fact that the refilling does not look and is unicellular is not wrong is not true.; sent6 -> int2: if that the refilling is not a kind of a looking and is unicellular is incorrect it is not a kind of a anjou.; int1 & int2 -> int3: the refilling is not a anjou.; sent4 & sent3 -> int4: the refilling besots Trenton.; int3 & int4 -> int5: the refilling besots Trenton but it is not a kind of a anjou.; int5 & sent14 -> int6: the plesiosaur is not a kind of a Mao.; int6 & sent8 -> int7: the afterdeck is not a pick and/or it lysogenizes biquadrate.; int7 & sent10 -> int8: the lobelia is not non-Teutonic.; sent12 & sent9 -> int9: the lobelia is not Teutonic.; int8 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__