the sword is proper.
sent1: if the playhouse is not a blanquillo the four-wheeler is not a blanquillo or is not indeterminable or both. sent2: the chaff does not squire Litocranius if the snore is not anthropogenetic and is not a vacuum. sent3: the sword is proper if the four-wheeler is not a blanquillo and/or it is not indeterminable. sent4: if something does not squire Litocranius then it does not kennel perigon and is not courteous. sent5: the playhouse is not a blanquillo if the chaff does not kennel perigon and it is not courteous.
sent4 -> int1: the chaff does not kennel perigon and it is not courteous if it does not squire Litocranius.;
$hypothesis$ = the sword is proper. ; $context$ = sent1: if the playhouse is not a blanquillo the four-wheeler is not a blanquillo or is not indeterminable or both. sent2: the chaff does not squire Litocranius if the snore is not anthropogenetic and is not a vacuum. sent3: the sword is proper if the four-wheeler is not a blanquillo and/or it is not indeterminable. sent4: if something does not squire Litocranius then it does not kennel perigon and is not courteous. sent5: the playhouse is not a blanquillo if the chaff does not kennel perigon and it is not courteous. ; $proof$ = 
sent4 -> int1: the chaff does not kennel perigon and it is not courteous if it does not squire Litocranius.; __UNKNOWN__