the gasman is a kind of an outcast.
sent1: the fact that the fact that something is not outboard but a shaft is right is false if it scents internationalism. sent2: the fact that the pocket is an outboard but it is not a shaft is wrong if it does scent internationalism. sent3: if the pocket is not a kind of a esmolol it is not a kind of a colonialism. sent4: if the fact that the pocket is not outboard and not a shaft is not correct then it is a kind of a realgar. sent5: if something scents internationalism the fact that that it is not an outboard and it is not a shaft is true is incorrect. sent6: if that something is a longbow and it is a esmolol is not true then it is not a colonialism. sent7: if the pocket scents internationalism that it is non-outboard and does shaft does not hold. sent8: that something is non-Mormon thing that does not scent countryseat is incorrect if it does run cornstalk. sent9: the gasman is a kind of an outcast if the fact that the pocket is a realgar is true. sent10: the fact that the pocket is a colonialism is right. sent11: that the pocket is a longbow and it is a esmolol is incorrect if it does not scent internationalism.
void -> assump1: Let's assume that the pocket does not scent internationalism.; sent11 & assump1 -> int1: that the pocket is a kind of a longbow and it is a esmolol is incorrect.; sent6 -> int2: if the fact that the pocket is a longbow and a esmolol is wrong then it is not a kind of a colonialism.; int1 & int2 -> int3: the pocket is not a kind of a colonialism.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pocket does scent internationalism.; sent5 -> int6: if the pocket does scent internationalism that it is not a kind of an outboard and it is not a shaft does not hold.; int5 & int6 -> int7: that the pocket is both not outboard and not a shaft is wrong.; int7 & sent4 -> int8: the pocket is a realgar.; int8 & sent9 -> hypothesis;
that if that the pocket does not run cornstalk is false that the pocket is not a kind of a Mormon and does not scent countryseat is not true is right.
sent8 -> hypothesis;
$hypothesis$ = the gasman is a kind of an outcast. ; $context$ = sent1: the fact that the fact that something is not outboard but a shaft is right is false if it scents internationalism. sent2: the fact that the pocket is an outboard but it is not a shaft is wrong if it does scent internationalism. sent3: if the pocket is not a kind of a esmolol it is not a kind of a colonialism. sent4: if the fact that the pocket is not outboard and not a shaft is not correct then it is a kind of a realgar. sent5: if something scents internationalism the fact that that it is not an outboard and it is not a shaft is true is incorrect. sent6: if that something is a longbow and it is a esmolol is not true then it is not a colonialism. sent7: if the pocket scents internationalism that it is non-outboard and does shaft does not hold. sent8: that something is non-Mormon thing that does not scent countryseat is incorrect if it does run cornstalk. sent9: the gasman is a kind of an outcast if the fact that the pocket is a realgar is true. sent10: the fact that the pocket is a colonialism is right. sent11: that the pocket is a longbow and it is a esmolol is incorrect if it does not scent internationalism. ; $proof$ = 
void -> assump1: Let's assume that the pocket does not scent internationalism.; sent11 & assump1 -> int1: that the pocket is a kind of a longbow and it is a esmolol is incorrect.; sent6 -> int2: if the fact that the pocket is a longbow and a esmolol is wrong then it is not a kind of a colonialism.; int1 & int2 -> int3: the pocket is not a kind of a colonialism.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pocket does scent internationalism.; sent5 -> int6: if the pocket does scent internationalism that it is not a kind of an outboard and it is not a shaft does not hold.; int5 & int6 -> int7: that the pocket is both not outboard and not a shaft is wrong.; int7 & sent4 -> int8: the pocket is a realgar.; int8 & sent9 -> hypothesis; __PROVED__