the core is a knitter.
sent1: the snowmobile is a kind of a procedure if the Bullfinch is both not an antecedent and not Somalian. sent2: the snowmobile is not a procedure if there exists something such that it does encourage Tenniel. sent3: something is not an antecedent and it is not a Somalian if it is not collective. sent4: there is something such that the fact that it is not Stravinskyan and it is not a inchworm is incorrect. sent5: something is a knitter if it is billiard. sent6: that if the Bullfinch is a kind of a collective then the core is billiard is not wrong. sent7: if there exists something such that the fact that it is non-Stravinskyan thing that is not a inchworm is not right the fact that the wormhole encourages Tenniel is true.
sent3 -> int1: the Bullfinch is not an antecedent and not a Somalian if it is not collective.; void -> assump1: Let's assume that the fact that the Bullfinch is not a collective hold.; int1 & assump1 -> int2: the Bullfinch is both not antecedent and not Somalian.; int2 & sent1 -> int3: the snowmobile is a kind of a procedure.; sent4 & sent7 -> int4: the wormhole does encourage Tenniel.; int4 -> int5: there is something such that it encourages Tenniel.; int5 & sent2 -> int6: the snowmobile is not a procedure.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Bullfinch is collective.; int8 & sent6 -> int9: the core is billiard.; sent5 -> int10: the core is a knitter if it is billiard.; int9 & int10 -> hypothesis;
$hypothesis$ = the core is a knitter. ; $context$ = sent1: the snowmobile is a kind of a procedure if the Bullfinch is both not an antecedent and not Somalian. sent2: the snowmobile is not a procedure if there exists something such that it does encourage Tenniel. sent3: something is not an antecedent and it is not a Somalian if it is not collective. sent4: there is something such that the fact that it is not Stravinskyan and it is not a inchworm is incorrect. sent5: something is a knitter if it is billiard. sent6: that if the Bullfinch is a kind of a collective then the core is billiard is not wrong. sent7: if there exists something such that the fact that it is non-Stravinskyan thing that is not a inchworm is not right the fact that the wormhole encourages Tenniel is true. ; $proof$ = 
sent3 -> int1: the Bullfinch is not an antecedent and not a Somalian if it is not collective.; void -> assump1: Let's assume that the fact that the Bullfinch is not a collective hold.; int1 & assump1 -> int2: the Bullfinch is both not antecedent and not Somalian.; int2 & sent1 -> int3: the snowmobile is a kind of a procedure.; sent4 & sent7 -> int4: the wormhole does encourage Tenniel.; int4 -> int5: there is something such that it encourages Tenniel.; int5 & sent2 -> int6: the snowmobile is not a procedure.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the Bullfinch is collective.; int8 & sent6 -> int9: the core is billiard.; sent5 -> int10: the core is a knitter if it is billiard.; int9 & int10 -> hypothesis; __PROVED__