the wheelchair is a kind of a bawler.
sent1: the tadpole is not unfaithful if the wheelchair strands rectification and it is present. sent2: something is a broodmare if it is not a chickeree. sent3: the fact that that the wheelchair is coital and is a bawler is correct is not true. sent4: if the wheelchair is a bawler and is a kind of a broodmare the oarsman is not coital. sent5: if something does not present then that it is a kind of a bawler is correct. sent6: the oarsman is not a chickeree if the fact that it is a kind of coital thing that is a chickeree is not right. sent7: the oarsman is not unfaithful. sent8: the wheelchair strands rectification if something is not albinal. sent9: the wheelchair does strand rectification if it is not coital. sent10: there exists something such that it is not albinal. sent11: if the fact that something is a bawler and is not albinal does not hold it is not a bawler. sent12: the fact that the oarsman is coital and it is a chickeree is wrong. sent13: if the oarsman is a broodmare the tadpole is unfaithful. sent14: something is albinal.
sent10 & sent8 -> int1: the wheelchair does strand rectification.; void -> assump1: Let's assume that the wheelchair does present.; int1 & assump1 -> int2: the wheelchair does strand rectification and is a present.; int2 & sent1 -> int3: the fact that the tadpole is not unfaithful is right.; sent2 -> int4: the oarsman is a broodmare if it is not a chickeree.; sent6 & sent12 -> int5: the oarsman is not a kind of a chickeree.; int4 & int5 -> int6: the oarsman is a broodmare.; sent13 & int6 -> int7: that the tadpole is unfaithful is correct.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the wheelchair is non-present.; sent5 -> int10: the wheelchair is a bawler if it is non-present.; int9 & int10 -> hypothesis;
the wheelchair is not a bawler.
sent11 -> int11: the wheelchair is not a kind of a bawler if that it is a kind of a bawler that is not albinal is not correct.;
$hypothesis$ = the wheelchair is a kind of a bawler. ; $context$ = sent1: the tadpole is not unfaithful if the wheelchair strands rectification and it is present. sent2: something is a broodmare if it is not a chickeree. sent3: the fact that that the wheelchair is coital and is a bawler is correct is not true. sent4: if the wheelchair is a bawler and is a kind of a broodmare the oarsman is not coital. sent5: if something does not present then that it is a kind of a bawler is correct. sent6: the oarsman is not a chickeree if the fact that it is a kind of coital thing that is a chickeree is not right. sent7: the oarsman is not unfaithful. sent8: the wheelchair strands rectification if something is not albinal. sent9: the wheelchair does strand rectification if it is not coital. sent10: there exists something such that it is not albinal. sent11: if the fact that something is a bawler and is not albinal does not hold it is not a bawler. sent12: the fact that the oarsman is coital and it is a chickeree is wrong. sent13: if the oarsman is a broodmare the tadpole is unfaithful. sent14: something is albinal. ; $proof$ = 
sent10 & sent8 -> int1: the wheelchair does strand rectification.; void -> assump1: Let's assume that the wheelchair does present.; int1 & assump1 -> int2: the wheelchair does strand rectification and is a present.; int2 & sent1 -> int3: the fact that the tadpole is not unfaithful is right.; sent2 -> int4: the oarsman is a broodmare if it is not a chickeree.; sent6 & sent12 -> int5: the oarsman is not a kind of a chickeree.; int4 & int5 -> int6: the oarsman is a broodmare.; sent13 & int6 -> int7: that the tadpole is unfaithful is correct.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the wheelchair is non-present.; sent5 -> int10: the wheelchair is a bawler if it is non-present.; int9 & int10 -> hypothesis; __PROVED__