the commissure mediates.
sent1: the theologian is a scauper and it is upper-class if the demitasse is not upper-class. sent2: the bullfinch proliferates cutlassfish. sent3: if the bullfinch proliferates cutlassfish then the demitasse does plot mammalogy. sent4: the fact that the commissure mediates is right if the simperer is not a theophany. sent5: the theologian is upper-class if the demitasse is not upper-class. sent6: if the demitasse does plot mammalogy and it is upper-class then the fact that it is not a kind of a tortoiseshell is right. sent7: the theologian is upper-class. sent8: The cutlassfish proliferates bullfinch. sent9: the demitasse is a kind of a tortoiseshell. sent10: the fact that the simperer is not a theophany is right if the theologian is a scauper and it is upper-class.
sent3 & sent2 -> int1: the demitasse does plot mammalogy.; void -> assump1: Let's assume that the demitasse is upper-class.; int1 & assump1 -> int2: the demitasse does plot mammalogy and is upper-class.; int2 & sent6 -> int3: the demitasse is not a tortoiseshell.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the demitasse is not upper-class.; int5 & sent1 -> int6: the theologian is a scauper and is upper-class.; int6 & sent10 -> int7: the simperer is not a theophany.; int7 & sent4 -> hypothesis;
$hypothesis$ = the commissure mediates. ; $context$ = sent1: the theologian is a scauper and it is upper-class if the demitasse is not upper-class. sent2: the bullfinch proliferates cutlassfish. sent3: if the bullfinch proliferates cutlassfish then the demitasse does plot mammalogy. sent4: the fact that the commissure mediates is right if the simperer is not a theophany. sent5: the theologian is upper-class if the demitasse is not upper-class. sent6: if the demitasse does plot mammalogy and it is upper-class then the fact that it is not a kind of a tortoiseshell is right. sent7: the theologian is upper-class. sent8: The cutlassfish proliferates bullfinch. sent9: the demitasse is a kind of a tortoiseshell. sent10: the fact that the simperer is not a theophany is right if the theologian is a scauper and it is upper-class. ; $proof$ = 
sent3 & sent2 -> int1: the demitasse does plot mammalogy.; void -> assump1: Let's assume that the demitasse is upper-class.; int1 & assump1 -> int2: the demitasse does plot mammalogy and is upper-class.; int2 & sent6 -> int3: the demitasse is not a tortoiseshell.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the demitasse is not upper-class.; int5 & sent1 -> int6: the theologian is a scauper and is upper-class.; int6 & sent10 -> int7: the simperer is not a theophany.; int7 & sent4 -> hypothesis; __PROVED__