the shirtmaker is not a bola.
sent1: everything does not prop pentose and it is not purposeful. sent2: everything is not a photogravure and it is not a kind of a gobbet. sent3: something is a kind of a Oahu if it is not a photogravure and not a gobbet. sent4: that the Thracian is the gobbet if the Thracian is a kind of a Oahu and is not a kind of a bola is true. sent5: the shirtmaker is not a kind of a photogravure if the Thracian is a kind of a bola. sent6: the Thracian is a Oahu if it is not a kind of a photogravure and is a gobbet. sent7: the Thracian is not a kind of a bola if the shirtmaker is a gobbet. sent8: if the shirtmaker is a kind of a photogravure the Thracian is not a kind of a gobbet. sent9: the shirtmaker does moor billow. sent10: if the shirtmaker is a photogravure then the Thracian is not a bola. sent11: the microevolution is a Oahu but it is not a Fang if it does yawp. sent12: the fact that the shirtmaker is a armorer is true. sent13: the Thracian is a kind of a Oahu if it is a kind of a photogravure and it is not a gobbet. sent14: the shirtmaker is not a photogravure. sent15: everything is not a tussah. sent16: if the Thracian is a kind of a Oahu that is not a photogravure it is a kind of a bola. sent17: if something is not a kind of a photogravure but it is a gobbet then it is a kind of a Oahu.
sent3 -> int1: if the Thracian is not a photogravure and it is not a gobbet it is a Oahu.; sent2 -> int2: the Thracian is not a kind of a photogravure and it is not a gobbet.; int1 & int2 -> int3: the Thracian is a Oahu.;
the shirtmaker is a bola.
$hypothesis$ = the shirtmaker is not a bola. ; $context$ = sent1: everything does not prop pentose and it is not purposeful. sent2: everything is not a photogravure and it is not a kind of a gobbet. sent3: something is a kind of a Oahu if it is not a photogravure and not a gobbet. sent4: that the Thracian is the gobbet if the Thracian is a kind of a Oahu and is not a kind of a bola is true. sent5: the shirtmaker is not a kind of a photogravure if the Thracian is a kind of a bola. sent6: the Thracian is a Oahu if it is not a kind of a photogravure and is a gobbet. sent7: the Thracian is not a kind of a bola if the shirtmaker is a gobbet. sent8: if the shirtmaker is a kind of a photogravure the Thracian is not a kind of a gobbet. sent9: the shirtmaker does moor billow. sent10: if the shirtmaker is a photogravure then the Thracian is not a bola. sent11: the microevolution is a Oahu but it is not a Fang if it does yawp. sent12: the fact that the shirtmaker is a armorer is true. sent13: the Thracian is a kind of a Oahu if it is a kind of a photogravure and it is not a gobbet. sent14: the shirtmaker is not a photogravure. sent15: everything is not a tussah. sent16: if the Thracian is a kind of a Oahu that is not a photogravure it is a kind of a bola. sent17: if something is not a kind of a photogravure but it is a gobbet then it is a kind of a Oahu. ; $proof$ = 
sent3 -> int1: if the Thracian is not a photogravure and it is not a gobbet it is a Oahu.; sent2 -> int2: the Thracian is not a kind of a photogravure and it is not a gobbet.; int1 & int2 -> int3: the Thracian is a Oahu.; __UNKNOWN__