if the sannup is a Pandionidae then the spacesuit hefts spacesuit.
sent1: something is a drafter if the fact that it is a kind of a rightism and does not cohere peasantry is not right. sent2: if that something is not arthropodal and not a Koasati is wrong then it does not heft spacesuit. sent3: something is a Pandionidae. sent4: there exists something such that it scrolls. sent5: the sannup scrolls. sent6: the spacesuit is a Pandionidae. sent7: the fact that the sannup is a rightism that does not cohere peasantry does not hold. sent8: the scaffold does heft spacesuit and does excel Hasid. sent9: if the fact that the sannup is both not nominal and not a safety is not right then it is a Koasati. sent10: the fact that the fact that the sannup is non-nominal and not a safety is not false does not hold if it is a drafter. sent11: if there exists something such that it is a Koasati the fact that the spacesuit is not arthropodal and it is not a kind of a Koasati is incorrect.
void -> assump1: Let's assume that the sannup is a Pandionidae.; assump1 & sent5 -> int1: the sannup is a kind of a Pandionidae and it is a scroll.; int1 -> int2: something is a Pandionidae and it is a kind of a scroll.;
the spacesuit is a Pandionidae.
sent2 -> int3: the spacesuit does not heft spacesuit if that it is not arthropodal and is not a Koasati is incorrect.; sent1 -> int4: the sannup is a kind of a drafter if that it is a rightism and it does not cohere peasantry does not hold.; int4 & sent7 -> int5: the sannup is a kind of a drafter.; sent10 & int5 -> int6: the fact that the sannup is not a nominal and it is not a safety does not hold.; sent9 & int6 -> int7: the sannup is a kind of a Koasati.; int7 -> int8: there is something such that that it is a Koasati hold.; int8 & sent11 -> int9: the fact that the spacesuit is not arthropodal and is not a Koasati does not hold.; int3 & int9 -> int10: the spacesuit does not heft spacesuit.;
$hypothesis$ = if the sannup is a Pandionidae then the spacesuit hefts spacesuit. ; $context$ = sent1: something is a drafter if the fact that it is a kind of a rightism and does not cohere peasantry is not right. sent2: if that something is not arthropodal and not a Koasati is wrong then it does not heft spacesuit. sent3: something is a Pandionidae. sent4: there exists something such that it scrolls. sent5: the sannup scrolls. sent6: the spacesuit is a Pandionidae. sent7: the fact that the sannup is a rightism that does not cohere peasantry does not hold. sent8: the scaffold does heft spacesuit and does excel Hasid. sent9: if the fact that the sannup is both not nominal and not a safety is not right then it is a Koasati. sent10: the fact that the fact that the sannup is non-nominal and not a safety is not false does not hold if it is a drafter. sent11: if there exists something such that it is a Koasati the fact that the spacesuit is not arthropodal and it is not a kind of a Koasati is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the sannup is a Pandionidae.; assump1 & sent5 -> int1: the sannup is a kind of a Pandionidae and it is a scroll.; int1 -> int2: something is a Pandionidae and it is a kind of a scroll.; __UNKNOWN__