the peccary braids Caelum and it does animate.
sent1: if a non-incomprehensible thing does braid gerbil the postmistress is not a bun. sent2: something is not a ratchet. sent3: the rosilla is a bun. sent4: that the rosilla is incomprehensible is not true. sent5: the peccary is incomprehensible. sent6: if there exists something such that it does not braid Caelum then the fact that the peccary braids gerbil and it is incomprehensible is false. sent7: if something that is not a bun is incomprehensible then the rosilla does not braid gerbil. sent8: the fact that the peccary braids Caelum and does animate is false if there is something such that it does not braid gerbil. sent9: something braids Caelum and is incomprehensible. sent10: the C-clamp is not a kind of a bun and braids plaiter. sent11: the postmistress does not braid gerbil if something is both not incomprehensible and a bun. sent12: the rosilla does braid gerbil. sent13: if that something does not braid gerbil is true then that the postmistress does animate and it braids Caelum is not correct. sent14: that the rosilla is mores hold. sent15: something is a kind of non-animate thing that braids gerbil. sent16: there exists something such that it is not erecting. sent17: the fact that that the rosilla is incomprehensible and it is animate is not false is incorrect.
sent4 & sent3 -> int1: the rosilla is a kind of explicable thing that is a bun.; int1 -> int2: there is something such that it is not incomprehensible and is a bun.; int2 & sent11 -> int3: the postmistress does not braid gerbil.; int3 -> int4: there exists something such that it does not braid gerbil.; int4 & sent8 -> hypothesis;
$hypothesis$ = the peccary braids Caelum and it does animate. ; $context$ = sent1: if a non-incomprehensible thing does braid gerbil the postmistress is not a bun. sent2: something is not a ratchet. sent3: the rosilla is a bun. sent4: that the rosilla is incomprehensible is not true. sent5: the peccary is incomprehensible. sent6: if there exists something such that it does not braid Caelum then the fact that the peccary braids gerbil and it is incomprehensible is false. sent7: if something that is not a bun is incomprehensible then the rosilla does not braid gerbil. sent8: the fact that the peccary braids Caelum and does animate is false if there is something such that it does not braid gerbil. sent9: something braids Caelum and is incomprehensible. sent10: the C-clamp is not a kind of a bun and braids plaiter. sent11: the postmistress does not braid gerbil if something is both not incomprehensible and a bun. sent12: the rosilla does braid gerbil. sent13: if that something does not braid gerbil is true then that the postmistress does animate and it braids Caelum is not correct. sent14: that the rosilla is mores hold. sent15: something is a kind of non-animate thing that braids gerbil. sent16: there exists something such that it is not erecting. sent17: the fact that that the rosilla is incomprehensible and it is animate is not false is incorrect. ; $proof$ = 
sent4 & sent3 -> int1: the rosilla is a kind of explicable thing that is a bun.; int1 -> int2: there is something such that it is not incomprehensible and is a bun.; int2 & sent11 -> int3: the postmistress does not braid gerbil.; int3 -> int4: there exists something such that it does not braid gerbil.; int4 & sent8 -> hypothesis; __DISPROVED__