the fact that if the snowboarder is not a demonstration and is not a archil then the lammergeier is lower-class is true.
sent1: the lammergeier is a Schnabel and does not rope snowboarder if the clamp is lower-class. sent2: the lime is a curbside if the lammergeier is a hatemonger and/or it does not rope snowboarder. sent3: the clamp does not rope processed if the fact that the bise rope processed and is not protective is not true. sent4: if something that is not a demonstration is not a archil the fact that it is a kind of a hatemonger is not incorrect. sent5: if something is not a demonstration and is a archil it is a kind of a hatemonger. sent6: the lammergeier is not a Schnabel if the snowboarder ropes snowboarder and is a hatemonger. sent7: if the lammergeier is not a kind of a Schnabel then it is a paperboy. sent8: if something is a kind of a Oxydendrum then that it does rope processed and is not protective is incorrect. sent9: the snowboarder is a curbside that ropes snowboarder. sent10: if the snowboarder is a demonstration but it is not a archil it is a hatemonger. sent11: something that does not rope processed is lower-class and is not a paperboy.
sent4 -> int1: if the snowboarder is not a kind of a demonstration and it is not a archil then it is a hatemonger.; void -> assump1: Let's assume that the snowboarder is not a demonstration and it is not a archil.; int1 & assump1 -> int2: the snowboarder is a hatemonger.; sent9 -> int3: the snowboarder does rope snowboarder.; int2 & int3 -> int4: the snowboarder ropes snowboarder and is a hatemonger.; int4 & sent6 -> int5: the lammergeier is not a kind of a Schnabel.;
the lime is a curbside.
sent11 -> int6: if that the clamp does not rope processed hold it is lower-class thing that is not a kind of a paperboy.; sent8 -> int7: the fact that the bise does rope processed but it is not protective is false if it is a Oxydendrum.;
$hypothesis$ = the fact that if the snowboarder is not a demonstration and is not a archil then the lammergeier is lower-class is true. ; $context$ = sent1: the lammergeier is a Schnabel and does not rope snowboarder if the clamp is lower-class. sent2: the lime is a curbside if the lammergeier is a hatemonger and/or it does not rope snowboarder. sent3: the clamp does not rope processed if the fact that the bise rope processed and is not protective is not true. sent4: if something that is not a demonstration is not a archil the fact that it is a kind of a hatemonger is not incorrect. sent5: if something is not a demonstration and is a archil it is a kind of a hatemonger. sent6: the lammergeier is not a Schnabel if the snowboarder ropes snowboarder and is a hatemonger. sent7: if the lammergeier is not a kind of a Schnabel then it is a paperboy. sent8: if something is a kind of a Oxydendrum then that it does rope processed and is not protective is incorrect. sent9: the snowboarder is a curbside that ropes snowboarder. sent10: if the snowboarder is a demonstration but it is not a archil it is a hatemonger. sent11: something that does not rope processed is lower-class and is not a paperboy. ; $proof$ = 
sent4 -> int1: if the snowboarder is not a kind of a demonstration and it is not a archil then it is a hatemonger.; void -> assump1: Let's assume that the snowboarder is not a demonstration and it is not a archil.; int1 & assump1 -> int2: the snowboarder is a hatemonger.; sent9 -> int3: the snowboarder does rope snowboarder.; int2 & int3 -> int4: the snowboarder ropes snowboarder and is a hatemonger.; int4 & sent6 -> int5: the lammergeier is not a kind of a Schnabel.; __UNKNOWN__