the iceboat is potent.
sent1: the unguiculate is a signing and does radio salient if it does not radio marabou. sent2: if the sloth is not arthralgic then it does oxidise. sent3: if the provocateur is Sumerian then the pikeblenny oxidises. sent4: if an unscientific thing radios salient then the yew does not entrust side-glance. sent5: the pikeblenny is not arthralgic if it does border. sent6: something does not orb Bletilla but it is a kind of an anarchy if that it does not entrust side-glance hold. sent7: if either something is a kind of a thrasher or it orbs Bletilla or both it is not arthralgic. sent8: if that something is not a readjustment but it does radio occidentalism is incorrect then it is a thrasher. sent9: the fact that the sloth is a readjustment and it does radio occidentalism is not right. sent10: the pikeblenny oxidises if the provocateur oxidises. sent11: that the sloth is not an anarchy hold. sent12: the fact that the unguiculate is a kind of non-ceric thing that is not unscientific is wrong. sent13: if the sloth oxidises it is an anarchy. sent14: everything is not pyrotechnics. sent15: the unguiculate is unscientific if the fact that it is both not ceric and not unscientific is wrong. sent16: the unguiculate does not radio marabou. sent17: the pikeblenny does border. sent18: the iceboat is potent if the sloth is a readjustment and it does radio occidentalism. sent19: if the Lincoln is not pyrotechnics the provocateur is a Sumerian or does oxidise or both. sent20: if the yew does not orb Bletilla and it is not a kind of a thrasher then the iceboat is not potent.
sent8 -> int1: if the fact that the sloth is not a readjustment and does radio occidentalism is wrong it is a kind of a thrasher.; void -> assump1: Let's assume that the fact that the sloth is not a kind of a readjustment and radios occidentalism is wrong.; int1 & assump1 -> int2: the sloth is a kind of a thrasher.; int2 -> int3: the sloth is a thrasher and/or it does orb Bletilla.; sent7 -> int4: the sloth is not arthralgic if it is a thrasher or it orbs Bletilla or both.; int3 & int4 -> int5: the sloth is not arthralgic.; int5 & sent2 -> int6: the sloth does oxidise.; int6 & sent13 -> int7: the sloth is an anarchy.; int7 & sent11 -> int8: this is contradiction.; [assump1] & int8 -> int9: the sloth is not a readjustment but it does radio occidentalism.;
the iceboat is not potent.
sent6 -> int10: the yew does not orb Bletilla and is a kind of an anarchy if the fact that it does not entrust side-glance is correct.; sent15 & sent12 -> int11: the unguiculate is unscientific.; sent1 & sent16 -> int12: the unguiculate is a kind of a signing and it does radio salient.; int12 -> int13: the unguiculate radios salient.; int11 & int13 -> int14: the unguiculate is unscientific and it does radio salient.; int14 -> int15: something is unscientific and it radios salient.; int15 & sent4 -> int16: the yew does not entrust side-glance.; int10 & int16 -> int17: the yew does not orb Bletilla and is an anarchy.; int17 -> int18: the yew does not orb Bletilla.; sent14 -> int19: the Lincoln is not pyrotechnics.; sent19 & int19 -> int20: the provocateur is a Sumerian or it oxidises or both.; int20 & sent3 & sent10 -> int21: the pikeblenny does oxidise.; sent5 & sent17 -> int22: the pikeblenny is not arthralgic.; int21 & int22 -> int23: the pikeblenny oxidises and is not arthralgic.; int23 -> int24: there is something such that it does oxidise and it is not arthralgic.;
$hypothesis$ = the iceboat is potent. ; $context$ = sent1: the unguiculate is a signing and does radio salient if it does not radio marabou. sent2: if the sloth is not arthralgic then it does oxidise. sent3: if the provocateur is Sumerian then the pikeblenny oxidises. sent4: if an unscientific thing radios salient then the yew does not entrust side-glance. sent5: the pikeblenny is not arthralgic if it does border. sent6: something does not orb Bletilla but it is a kind of an anarchy if that it does not entrust side-glance hold. sent7: if either something is a kind of a thrasher or it orbs Bletilla or both it is not arthralgic. sent8: if that something is not a readjustment but it does radio occidentalism is incorrect then it is a thrasher. sent9: the fact that the sloth is a readjustment and it does radio occidentalism is not right. sent10: the pikeblenny oxidises if the provocateur oxidises. sent11: that the sloth is not an anarchy hold. sent12: the fact that the unguiculate is a kind of non-ceric thing that is not unscientific is wrong. sent13: if the sloth oxidises it is an anarchy. sent14: everything is not pyrotechnics. sent15: the unguiculate is unscientific if the fact that it is both not ceric and not unscientific is wrong. sent16: the unguiculate does not radio marabou. sent17: the pikeblenny does border. sent18: the iceboat is potent if the sloth is a readjustment and it does radio occidentalism. sent19: if the Lincoln is not pyrotechnics the provocateur is a Sumerian or does oxidise or both. sent20: if the yew does not orb Bletilla and it is not a kind of a thrasher then the iceboat is not potent. ; $proof$ = 
sent8 -> int1: if the fact that the sloth is not a readjustment and does radio occidentalism is wrong it is a kind of a thrasher.; void -> assump1: Let's assume that the fact that the sloth is not a kind of a readjustment and radios occidentalism is wrong.; int1 & assump1 -> int2: the sloth is a kind of a thrasher.; int2 -> int3: the sloth is a thrasher and/or it does orb Bletilla.; sent7 -> int4: the sloth is not arthralgic if it is a thrasher or it orbs Bletilla or both.; int3 & int4 -> int5: the sloth is not arthralgic.; int5 & sent2 -> int6: the sloth does oxidise.; int6 & sent13 -> int7: the sloth is an anarchy.; int7 & sent11 -> int8: this is contradiction.; [assump1] & int8 -> int9: the sloth is not a readjustment but it does radio occidentalism.; __UNKNOWN__