if the chromosome is homostylous the interrupter is a premolar.
sent1: there exists something such that it is a wastebasket. sent2: that the interrupter is not a punnet and it is not paleolithic is wrong. sent3: the endpoint is not foreleg. sent4: the scours spades if the chromosome spades. sent5: if the chromosome is a premolar the interrupter is homostylous. sent6: the chromosome is classicistic if there exists something such that it is a wastebasket and it is not vibrionic. sent7: there is something such that it is a premolar. sent8: the endpoint is not a kind of a premolar. sent9: the scours is homostylous and it is nonfissile if there is something such that it is paleolithic. sent10: there exists something such that it is a kind of a premolar and is not classicistic. sent11: there exists something such that it is a wastebasket and it is not vibrionic. sent12: if the chromosome is classicistic and it is homostylous then the endpoint is not paleolithic. sent13: if there exists something such that it is a premolar but not homostylous the interrupter is classicistic. sent14: the interrupter is a premolar if the endpoint is non-paleolithic. sent15: there is something such that it is not non-paleolithic and it is not homostylous. sent16: something is a wastebasket and it is vibrionic.
sent11 & sent6 -> int1: the chromosome is classicistic.; void -> assump1: Let's assume that the chromosome is homostylous.; int1 & assump1 -> int2: the chromosome is a kind of classicistic thing that is homostylous.; sent12 & int2 -> int3: the endpoint is not paleolithic.; sent14 & int3 -> int4: the interrupter is a kind of a premolar.; [assump1] & int4 -> hypothesis;
the scours is nonfissile thing that spades.
sent2 -> int5: there is something such that the fact that it is not a punnet and is not paleolithic is not true.;
$hypothesis$ = if the chromosome is homostylous the interrupter is a premolar. ; $context$ = sent1: there exists something such that it is a wastebasket. sent2: that the interrupter is not a punnet and it is not paleolithic is wrong. sent3: the endpoint is not foreleg. sent4: the scours spades if the chromosome spades. sent5: if the chromosome is a premolar the interrupter is homostylous. sent6: the chromosome is classicistic if there exists something such that it is a wastebasket and it is not vibrionic. sent7: there is something such that it is a premolar. sent8: the endpoint is not a kind of a premolar. sent9: the scours is homostylous and it is nonfissile if there is something such that it is paleolithic. sent10: there exists something such that it is a kind of a premolar and is not classicistic. sent11: there exists something such that it is a wastebasket and it is not vibrionic. sent12: if the chromosome is classicistic and it is homostylous then the endpoint is not paleolithic. sent13: if there exists something such that it is a premolar but not homostylous the interrupter is classicistic. sent14: the interrupter is a premolar if the endpoint is non-paleolithic. sent15: there is something such that it is not non-paleolithic and it is not homostylous. sent16: something is a wastebasket and it is vibrionic. ; $proof$ = 
sent11 & sent6 -> int1: the chromosome is classicistic.; void -> assump1: Let's assume that the chromosome is homostylous.; int1 & assump1 -> int2: the chromosome is a kind of classicistic thing that is homostylous.; sent12 & int2 -> int3: the endpoint is not paleolithic.; sent14 & int3 -> int4: the interrupter is a kind of a premolar.; [assump1] & int4 -> hypothesis; __PROVED__