the flannel does not disassociate.
sent1: the foreground is a tense but it is not a Selma if the Basil is not a participle. sent2: if the flannel is not phonetic the fact that it does not disassociate is not wrong. sent3: the flannel disassociates if the ranger is a kind of a Selma. sent4: if that the flannel is not non-phonetic but compatible is not right then it does not disassociate. sent5: if the cupola does not live that the foreground restarts Wyszynski and/or is phonetic is true. sent6: the foreground does not enlighten. sent7: that the foreground enlightens is true if it is a kind of a myxosporidian. sent8: the Basil does not enlighten if the foreground does restart Wyszynski. sent9: the epicondyle is phonetic if a participle is a Selma. sent10: if that the ranger is incompatible but it is tortious is not right then the Basil is not a participle. sent11: the foreground does tense. sent12: if the foreground is not non-tense but it is not a kind of a Selma then it is a kind of a myxosporidian. sent13: the cupola is not live.
void -> assump1: Let's assume that that the ranger is not compatible but it is tortious is not true.; sent10 & assump1 -> int1: the Basil is not a participle.; int1 & sent1 -> int2: the foreground is tense but it is not a Selma.; int2 & sent12 -> int3: the foreground is a kind of a myxosporidian.; int3 & sent7 -> int4: the foreground enlightens.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ranger is not compatible but tortious.; int6 -> int7: the ranger is not compatible.;
the flannel disassociates.
sent5 & sent13 -> int8: the foreground does restart Wyszynski or it is phonetic or both.;
$hypothesis$ = the flannel does not disassociate. ; $context$ = sent1: the foreground is a tense but it is not a Selma if the Basil is not a participle. sent2: if the flannel is not phonetic the fact that it does not disassociate is not wrong. sent3: the flannel disassociates if the ranger is a kind of a Selma. sent4: if that the flannel is not non-phonetic but compatible is not right then it does not disassociate. sent5: if the cupola does not live that the foreground restarts Wyszynski and/or is phonetic is true. sent6: the foreground does not enlighten. sent7: that the foreground enlightens is true if it is a kind of a myxosporidian. sent8: the Basil does not enlighten if the foreground does restart Wyszynski. sent9: the epicondyle is phonetic if a participle is a Selma. sent10: if that the ranger is incompatible but it is tortious is not right then the Basil is not a participle. sent11: the foreground does tense. sent12: if the foreground is not non-tense but it is not a kind of a Selma then it is a kind of a myxosporidian. sent13: the cupola is not live. ; $proof$ = 
void -> assump1: Let's assume that that the ranger is not compatible but it is tortious is not true.; sent10 & assump1 -> int1: the Basil is not a participle.; int1 & sent1 -> int2: the foreground is tense but it is not a Selma.; int2 & sent12 -> int3: the foreground is a kind of a myxosporidian.; int3 & sent7 -> int4: the foreground enlightens.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ranger is not compatible but tortious.; int6 -> int7: the ranger is not compatible.; __UNKNOWN__