the mopper does not steam and does not feed Dalmatian.
sent1: if the pull-in does feed Dalmatian that the mopper is not a steam and it does not feed Dalmatian is incorrect. sent2: if something does not feed Dalmatian then it enskies pull-in. sent3: if the shit does not ensky pull-in and it does not exalt Herzberg the mopper does not exalt Herzberg. sent4: if the pull-in does ensky pull-in the fact that it exalts Herzberg is true. sent5: if the pull-in exalts Herzberg the shit is not a handloom. sent6: if something is not a totemist then it does ensky pull-in. sent7: the shit is a handloom.
sent2 -> int1: if that the pull-in does not feed Dalmatian is not incorrect it enskies pull-in.; void -> assump1: Let's assume that the pull-in does not feed Dalmatian.; int1 & assump1 -> int2: the pull-in does ensky pull-in.; int2 & sent4 -> int3: the pull-in exalts Herzberg.; int3 & sent5 -> int4: the shit is not a handloom.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the pull-in feeds Dalmatian.; int6 & sent1 -> hypothesis;
the spirograph does ensky pull-in if it is not a totemist.
sent6 -> hypothesis;
$hypothesis$ = the mopper does not steam and does not feed Dalmatian. ; $context$ = sent1: if the pull-in does feed Dalmatian that the mopper is not a steam and it does not feed Dalmatian is incorrect. sent2: if something does not feed Dalmatian then it enskies pull-in. sent3: if the shit does not ensky pull-in and it does not exalt Herzberg the mopper does not exalt Herzberg. sent4: if the pull-in does ensky pull-in the fact that it exalts Herzberg is true. sent5: if the pull-in exalts Herzberg the shit is not a handloom. sent6: if something is not a totemist then it does ensky pull-in. sent7: the shit is a handloom. ; $proof$ = 
sent2 -> int1: if that the pull-in does not feed Dalmatian is not incorrect it enskies pull-in.; void -> assump1: Let's assume that the pull-in does not feed Dalmatian.; int1 & assump1 -> int2: the pull-in does ensky pull-in.; int2 & sent4 -> int3: the pull-in exalts Herzberg.; int3 & sent5 -> int4: the shit is not a handloom.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the pull-in feeds Dalmatian.; int6 & sent1 -> hypothesis; __DISPROVED__