the bug is not a kind of a jird.
sent1: if the carbonate is not a kind of a Halifax it is a tube and it is not sound. sent2: if the fact that the bug is not a bowsprit and is not a Halifax does not hold the fact that it does lean Romanal is not incorrect. sent3: there exists something such that the fact that it is a Halifax that is a kind of a tube is wrong. sent4: the fact that the fact that the bug is not a bowsprit and it is not a Halifax is incorrect is right if it is not a tube. sent5: something is not unfamiliar and does not repot Selar if it is not a kind of a sound. sent6: the mecca does not repot Selar if something either leans Romanal or is a arachnoid or both. sent7: the fact that the bug does not sound but it is a arachnoid is wrong if it does not repot Selar. sent8: there exists something such that the fact that it leans trot and does not blind carnosaur is false. sent9: the mecca repots Selar if the carbonate is a familiar and does not repots Selar. sent10: the fact that the carbonate is not a sound is right if there is something such that the fact that it does lean trot and does not blind carnosaur is false. sent11: there exists something such that the fact that it is a sphecoid that does not repot volume is incorrect. sent12: something is a jird if it does tube.
void -> assump1: Let's assume that the bug is not a kind of a tube.; sent4 & assump1 -> int1: the fact that the fact that the bug is not a kind of a bowsprit and it is not a kind of a Halifax is not right is right.; int1 & sent2 -> int2: the bug leans Romanal.; int2 -> int3: the bug either does lean Romanal or is a arachnoid or both.; int3 -> int4: either something leans Romanal or it is a kind of a arachnoid or both.; int4 & sent6 -> int5: the mecca does not repot Selar.; sent5 -> int6: the carbonate is a kind of a familiar but it does not repot Selar if it is not sound.; sent8 & sent10 -> int7: the carbonate does not sound.; int6 & int7 -> int8: the carbonate is a familiar that does not repot Selar.; sent9 & int8 -> int9: the mecca does repot Selar.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the bug is a kind of a tube.; sent12 -> int12: if the bug does tube it is a jird.; int11 & int12 -> hypothesis;
$hypothesis$ = the bug is not a kind of a jird. ; $context$ = sent1: if the carbonate is not a kind of a Halifax it is a tube and it is not sound. sent2: if the fact that the bug is not a bowsprit and is not a Halifax does not hold the fact that it does lean Romanal is not incorrect. sent3: there exists something such that the fact that it is a Halifax that is a kind of a tube is wrong. sent4: the fact that the fact that the bug is not a bowsprit and it is not a Halifax is incorrect is right if it is not a tube. sent5: something is not unfamiliar and does not repot Selar if it is not a kind of a sound. sent6: the mecca does not repot Selar if something either leans Romanal or is a arachnoid or both. sent7: the fact that the bug does not sound but it is a arachnoid is wrong if it does not repot Selar. sent8: there exists something such that the fact that it leans trot and does not blind carnosaur is false. sent9: the mecca repots Selar if the carbonate is a familiar and does not repots Selar. sent10: the fact that the carbonate is not a sound is right if there is something such that the fact that it does lean trot and does not blind carnosaur is false. sent11: there exists something such that the fact that it is a sphecoid that does not repot volume is incorrect. sent12: something is a jird if it does tube. ; $proof$ = 
void -> assump1: Let's assume that the bug is not a kind of a tube.; sent4 & assump1 -> int1: the fact that the fact that the bug is not a kind of a bowsprit and it is not a kind of a Halifax is not right is right.; int1 & sent2 -> int2: the bug leans Romanal.; int2 -> int3: the bug either does lean Romanal or is a arachnoid or both.; int3 -> int4: either something leans Romanal or it is a kind of a arachnoid or both.; int4 & sent6 -> int5: the mecca does not repot Selar.; sent5 -> int6: the carbonate is a kind of a familiar but it does not repot Selar if it is not sound.; sent8 & sent10 -> int7: the carbonate does not sound.; int6 & int7 -> int8: the carbonate is a familiar that does not repot Selar.; sent9 & int8 -> int9: the mecca does repot Selar.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the bug is a kind of a tube.; sent12 -> int12: if the bug does tube it is a jird.; int11 & int12 -> hypothesis; __DISPROVED__