the asterion is a kind of a blacking.
sent1: the twit is a blacking. sent2: something is blacking if it is a centered. sent3: that the twit does lap stinginess and does intrigue Wintun is right. sent4: if that the hairline is a Malaysian is not wrong then the asterion is a centered. sent5: if the fact that that something is a dysprosium or it is not a kind of a lieutenancy or both is correct is wrong then it does intrigue driftage. sent6: something does not scale topspin if it is a dysprosium or it is not a lieutenancy or both. sent7: if something intrigues Wintun it scales topspin.
sent6 -> int1: if the twit is a kind of a dysprosium and/or is not a lieutenancy it does not scale topspin.; void -> assump1: Let's assume that the twit is a dysprosium and/or it is not a lieutenancy.; int1 & assump1 -> int2: the twit does not scale topspin.; sent7 -> int3: if the twit intrigues Wintun it scales topspin.; sent3 -> int4: the twit does intrigue Wintun.; int3 & int4 -> int5: the twit does scale topspin.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the twit is a kind of a dysprosium or it is not a kind of a lieutenancy or both is not true.; sent5 -> int8: the twit intrigues driftage if the fact that it is a dysprosium and/or it is not a kind of a lieutenancy is false.; int7 & int8 -> int9: the twit does intrigue driftage.; sent2 -> int10: if the asterion is a kind of a centered the fact that it is a kind of a blacking is not wrong.;
$hypothesis$ = the asterion is a kind of a blacking. ; $context$ = sent1: the twit is a blacking. sent2: something is blacking if it is a centered. sent3: that the twit does lap stinginess and does intrigue Wintun is right. sent4: if that the hairline is a Malaysian is not wrong then the asterion is a centered. sent5: if the fact that that something is a dysprosium or it is not a kind of a lieutenancy or both is correct is wrong then it does intrigue driftage. sent6: something does not scale topspin if it is a dysprosium or it is not a lieutenancy or both. sent7: if something intrigues Wintun it scales topspin. ; $proof$ = 
sent6 -> int1: if the twit is a kind of a dysprosium and/or is not a lieutenancy it does not scale topspin.; void -> assump1: Let's assume that the twit is a dysprosium and/or it is not a lieutenancy.; int1 & assump1 -> int2: the twit does not scale topspin.; sent7 -> int3: if the twit intrigues Wintun it scales topspin.; sent3 -> int4: the twit does intrigue Wintun.; int3 & int4 -> int5: the twit does scale topspin.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the twit is a kind of a dysprosium or it is not a kind of a lieutenancy or both is not true.; sent5 -> int8: the twit intrigues driftage if the fact that it is a dysprosium and/or it is not a kind of a lieutenancy is false.; int7 & int8 -> int9: the twit does intrigue driftage.; sent2 -> int10: if the asterion is a kind of a centered the fact that it is a kind of a blacking is not wrong.; __UNKNOWN__