if the beluga is caruncular then the airhead does not capsize.
sent1: the airhead is a broadcloth and caucuses Ouse. sent2: if the beluga is resentful and it is caruncular that the airhead does not capsize is right. sent3: if the airhead is not a Islamist the fact that the Soddy is gaseous is true. sent4: the Soddy is caruncular if the beluga is not gaseous. sent5: the Soddy is caruncular. sent6: if something is gaseous and is resentful then it is not catechetical. sent7: the fact that the republication is resentful is not wrong. sent8: the Soddy capsizes. sent9: if something that is a Islamist is gaseous it is not catechetical. sent10: if something that does capsize is catechetical then it is not resentful. sent11: if the beluga is resentful and it is caruncular then that the airhead does capsize hold. sent12: the eurypterid is a kind of resentful a Mormons. sent13: that the beluga is not resentful is true if it is a kind of catechetical thing that is gaseous. sent14: the beluga is gaseous. sent15: the Soddy is a Islamist. sent16: if the Soddy capsizes then the airhead is non-gaseous. sent17: the beluga is not unresentful if the Soddy is not catechetical. sent18: the Soddy is gaseous.
sent9 -> int1: if the Soddy is both a Islamist and gaseous then it is not catechetical.; sent15 & sent18 -> int2: the Soddy is a kind of a Islamist and it is gaseous.; int1 & int2 -> int3: the Soddy is not catechetical.; int3 & sent17 -> int4: the beluga is resentful.; void -> assump1: Let's assume that the beluga is caruncular.; int4 & assump1 -> int5: the beluga is both resentful and caruncular.; int5 & sent2 -> int6: the airhead does not capsize.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the beluga is caruncular then the airhead does not capsize. ; $context$ = sent1: the airhead is a broadcloth and caucuses Ouse. sent2: if the beluga is resentful and it is caruncular that the airhead does not capsize is right. sent3: if the airhead is not a Islamist the fact that the Soddy is gaseous is true. sent4: the Soddy is caruncular if the beluga is not gaseous. sent5: the Soddy is caruncular. sent6: if something is gaseous and is resentful then it is not catechetical. sent7: the fact that the republication is resentful is not wrong. sent8: the Soddy capsizes. sent9: if something that is a Islamist is gaseous it is not catechetical. sent10: if something that does capsize is catechetical then it is not resentful. sent11: if the beluga is resentful and it is caruncular then that the airhead does capsize hold. sent12: the eurypterid is a kind of resentful a Mormons. sent13: that the beluga is not resentful is true if it is a kind of catechetical thing that is gaseous. sent14: the beluga is gaseous. sent15: the Soddy is a Islamist. sent16: if the Soddy capsizes then the airhead is non-gaseous. sent17: the beluga is not unresentful if the Soddy is not catechetical. sent18: the Soddy is gaseous. ; $proof$ = 
sent9 -> int1: if the Soddy is both a Islamist and gaseous then it is not catechetical.; sent15 & sent18 -> int2: the Soddy is a kind of a Islamist and it is gaseous.; int1 & int2 -> int3: the Soddy is not catechetical.; int3 & sent17 -> int4: the beluga is resentful.; void -> assump1: Let's assume that the beluga is caruncular.; int4 & assump1 -> int5: the beluga is both resentful and caruncular.; int5 & sent2 -> int6: the airhead does not capsize.; [assump1] & int6 -> hypothesis; __PROVED__