the hideaway is aplitic.
sent1: the hideaway is not a kind of a Sarawakian if the cartwheel is both not a benevolence and a obeche. sent2: if the interlocutor is not a kind of a obeche then the cartwheel is not a benevolence but a obeche. sent3: if the interlocutor is not a obeche then the cartwheel is not a benevolence. sent4: if the barroom is not experiential then the interlocutor is not a obeche. sent5: that the barroom is experiential is not right. sent6: if that that the hideaway is not a skinned is not wrong is not true it is aplitic. sent7: something does skin and does not gate Senefelder if it is not a kind of a Sarawakian.
sent4 & sent5 -> int1: the interlocutor is not a obeche.; int1 & sent2 -> int2: the cartwheel is not a benevolence and is a kind of a obeche.; int2 & sent1 -> int3: the hideaway is not a Sarawakian.; sent7 -> int4: that the hideaway is the skinned but it does not gate Senefelder if the hideaway is not a Sarawakian is true.; int3 & int4 -> int5: the hideaway is a kind of a skinned that does not gate Senefelder.; int5 -> int6: the hideaway is a kind of a skinned.; int6 & sent6 -> hypothesis;
$hypothesis$ = the hideaway is aplitic. ; $context$ = sent1: the hideaway is not a kind of a Sarawakian if the cartwheel is both not a benevolence and a obeche. sent2: if the interlocutor is not a kind of a obeche then the cartwheel is not a benevolence but a obeche. sent3: if the interlocutor is not a obeche then the cartwheel is not a benevolence. sent4: if the barroom is not experiential then the interlocutor is not a obeche. sent5: that the barroom is experiential is not right. sent6: if that that the hideaway is not a skinned is not wrong is not true it is aplitic. sent7: something does skin and does not gate Senefelder if it is not a kind of a Sarawakian. ; $proof$ = 
sent4 & sent5 -> int1: the interlocutor is not a obeche.; int1 & sent2 -> int2: the cartwheel is not a benevolence and is a kind of a obeche.; int2 & sent1 -> int3: the hideaway is not a Sarawakian.; sent7 -> int4: that the hideaway is the skinned but it does not gate Senefelder if the hideaway is not a Sarawakian is true.; int3 & int4 -> int5: the hideaway is a kind of a skinned that does not gate Senefelder.; int5 -> int6: the hideaway is a kind of a skinned.; int6 & sent6 -> hypothesis; __PROVED__