the tutee is legato.
sent1: if the tutee is not a replacement then it is not a molindone. sent2: something is not a crayon if it is not a kind of an exercise. sent3: the codefendant is a replacement and/or not a tune. sent4: that the codefendant is a imbecility that is a kind of a replacement is false. sent5: something is not legato if it is a Oedogonium and non-locker-room. sent6: the tutee is not a crayon if it does tune and is not a Oedogonium. sent7: the codefendant is not a replacement or it is not a tune or both. sent8: if something does disunify Lolium it is a crayon. sent9: the kink is not an exercise if there exists something such that the fact that it is a kind of a Oedogonium that is not locker-room is incorrect. sent10: the kink disunifies Lolium if the codefendant either is not a kind of a replacement or is not a tune or both. sent11: if something does not tune and is not a replacement it does not disunify Lolium.
void -> assump1: Let's assume that the fact that the tutee is a kind of a Oedogonium that is not locker-room is false.; assump1 -> int1: there exists something such that that it is a kind of a Oedogonium that is not locker-room is not correct.; int1 & sent9 -> int2: the kink is not an exercise.; sent2 -> int3: the kink does not crayon if it is not an exercise.; int2 & int3 -> int4: the kink is not a crayon.; sent8 -> int5: if the kink does disunify Lolium it is a crayon.; sent10 & sent7 -> int6: the kink does disunify Lolium.; int5 & int6 -> int7: the kink is a crayon.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the tutee is a Oedogonium that is not locker-room.; sent5 -> int10: if the tutee is a Oedogonium that is not locker-room it is not legato.; int9 & int10 -> hypothesis;
the tutee is legato.
sent11 -> int11: the kink does not disunify Lolium if that it is not a tune and it is not a kind of a replacement is right.;
$hypothesis$ = the tutee is legato. ; $context$ = sent1: if the tutee is not a replacement then it is not a molindone. sent2: something is not a crayon if it is not a kind of an exercise. sent3: the codefendant is a replacement and/or not a tune. sent4: that the codefendant is a imbecility that is a kind of a replacement is false. sent5: something is not legato if it is a Oedogonium and non-locker-room. sent6: the tutee is not a crayon if it does tune and is not a Oedogonium. sent7: the codefendant is not a replacement or it is not a tune or both. sent8: if something does disunify Lolium it is a crayon. sent9: the kink is not an exercise if there exists something such that the fact that it is a kind of a Oedogonium that is not locker-room is incorrect. sent10: the kink disunifies Lolium if the codefendant either is not a kind of a replacement or is not a tune or both. sent11: if something does not tune and is not a replacement it does not disunify Lolium. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tutee is a kind of a Oedogonium that is not locker-room is false.; assump1 -> int1: there exists something such that that it is a kind of a Oedogonium that is not locker-room is not correct.; int1 & sent9 -> int2: the kink is not an exercise.; sent2 -> int3: the kink does not crayon if it is not an exercise.; int2 & int3 -> int4: the kink is not a crayon.; sent8 -> int5: if the kink does disunify Lolium it is a crayon.; sent10 & sent7 -> int6: the kink does disunify Lolium.; int5 & int6 -> int7: the kink is a crayon.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the tutee is a Oedogonium that is not locker-room.; sent5 -> int10: if the tutee is a Oedogonium that is not locker-room it is not legato.; int9 & int10 -> hypothesis; __DISPROVED__