if the wayside is protrusive that the stumpknocker is a wind is not false.
sent1: if the fact that the stumpknocker is a wiriness or it is a kind of a month or both is wrong it winds. sent2: something that is protrusive thing that is an outrider is not a wiriness. sent3: there is something such that the fact that it does not stroll and does not scald naboom is incorrect. sent4: that either the stumpknocker is a wiriness or it is not a month or both is not right if the wayside is not a wiriness. sent5: if the fact that something is a kind of a wiriness and/or is not a kind of a month is wrong it is a wind. sent6: the wayside is an outrider. sent7: if something destines virino and is a kind of a mercy then it is not a Satyridae. sent8: the stumpknocker winds and is a month if the catarrhine does not bespangle bravura.
void -> assump1: Let's assume that that the wayside is protrusive is right.; assump1 & sent6 -> int1: the wayside is protrusive an outrider.; sent2 -> int2: if the wayside is protrusive and an outrider then it is not a wiriness.; int1 & int2 -> int3: the wayside is not a wiriness.; int3 & sent4 -> int4: the fact that either the stumpknocker is a wiriness or it is not a month or both is false.; sent5 -> int5: the fact that the stumpknocker is a wind is not incorrect if the fact that it is a wiriness and/or is not a kind of a month does not hold.; int4 & int5 -> int6: the stumpknocker is a kind of a wind.; [assump1] & int6 -> hypothesis;
the Harpy is a wiriness.
$hypothesis$ = if the wayside is protrusive that the stumpknocker is a wind is not false. ; $context$ = sent1: if the fact that the stumpknocker is a wiriness or it is a kind of a month or both is wrong it winds. sent2: something that is protrusive thing that is an outrider is not a wiriness. sent3: there is something such that the fact that it does not stroll and does not scald naboom is incorrect. sent4: that either the stumpknocker is a wiriness or it is not a month or both is not right if the wayside is not a wiriness. sent5: if the fact that something is a kind of a wiriness and/or is not a kind of a month is wrong it is a wind. sent6: the wayside is an outrider. sent7: if something destines virino and is a kind of a mercy then it is not a Satyridae. sent8: the stumpknocker winds and is a month if the catarrhine does not bespangle bravura. ; $proof$ = 
void -> assump1: Let's assume that that the wayside is protrusive is right.; assump1 & sent6 -> int1: the wayside is protrusive an outrider.; sent2 -> int2: if the wayside is protrusive and an outrider then it is not a wiriness.; int1 & int2 -> int3: the wayside is not a wiriness.; int3 & sent4 -> int4: the fact that either the stumpknocker is a wiriness or it is not a month or both is false.; sent5 -> int5: the fact that the stumpknocker is a wind is not incorrect if the fact that it is a wiriness and/or is not a kind of a month does not hold.; int4 & int5 -> int6: the stumpknocker is a kind of a wind.; [assump1] & int6 -> hypothesis; __PROVED__