the Arabian does shush or it is a Mansart or both.
sent1: the receiver is robotic and is a Australian. sent2: something is a Lymantriidae if that it is not Stalinist and not a Hanoverian is incorrect. sent3: if the receiver is not robotic the fact that either the Arabian shushes or it is a Mansart or both does not hold. sent4: the fact that the Arabian is not Stalinist but a Hanoverian is wrong. sent5: the pant is robotic. sent6: that the Arabian is a kind of Stalinist thing that is not a kind of a Hanoverian is not right if the pant is a Hanoverian. sent7: the Arabian is a kind of a dartboard. sent8: the receiver is robotic. sent9: that the pant does not chance receiver and it is not a Hanoverian is incorrect if it is not Stalinist. sent10: that the Arabian is not a Stalinist and it is not Hanoverian is false if the pant is a kind of a Hanoverian. sent11: the pant is a kind of a diethylstilbesterol that demineralizes pant. sent12: if the Arabian is a kind of a Lymantriidae then it shushes. sent13: if the pant is a Hanoverian the fact that the Arabian is a kind of non-Stalinist a Hanoverian is wrong. sent14: the pant is a Hanoverian if it shushes. sent15: that the fact that the receiver is a kind of non-Hanoverian thing that does not strap Belemnitidae is not false does not hold. sent16: something is a Hanoverian if the fact that it is not a Uruguayan and is not a purse is false. sent17: the receiver is Hanoverian. sent18: the fact that the fact that the Arabian is a kind of a Stalinist but it is not a Hanoverian is not false does not hold. sent19: if something straps Belemnitidae then it chances receiver. sent20: the pant is a Hanoverian if the receiver chances receiver. sent21: something does strap Belemnitidae if it is a kind of a Mansart. sent22: a Australian thing straps Belemnitidae.
sent1 -> int1: the receiver is a kind of a Australian.; sent22 -> int2: that the receiver does strap Belemnitidae is not false if it is a Australian.; int1 & int2 -> int3: the receiver does strap Belemnitidae.; sent19 -> int4: if the receiver straps Belemnitidae it chances receiver.; int3 & int4 -> int5: the receiver does chance receiver.; int5 & sent20 -> int6: the pant is a Hanoverian.; int6 & sent10 -> int7: the fact that that the Arabian is not a Stalinist and it is not a kind of a Hanoverian is incorrect hold.; sent2 -> int8: the fact that the Arabian is a kind of a Lymantriidae is not false if the fact that it is not a Stalinist and is not a Hanoverian is not right.; int7 & int8 -> int9: the Arabian is a Lymantriidae.; int9 & sent12 -> int10: the Arabian does shush.; int10 -> hypothesis;
the Arabian is a Hanoverian if that it is not a Uruguayan and it is not a purse does not hold.
sent16 -> hypothesis;
$hypothesis$ = the Arabian does shush or it is a Mansart or both. ; $context$ = sent1: the receiver is robotic and is a Australian. sent2: something is a Lymantriidae if that it is not Stalinist and not a Hanoverian is incorrect. sent3: if the receiver is not robotic the fact that either the Arabian shushes or it is a Mansart or both does not hold. sent4: the fact that the Arabian is not Stalinist but a Hanoverian is wrong. sent5: the pant is robotic. sent6: that the Arabian is a kind of Stalinist thing that is not a kind of a Hanoverian is not right if the pant is a Hanoverian. sent7: the Arabian is a kind of a dartboard. sent8: the receiver is robotic. sent9: that the pant does not chance receiver and it is not a Hanoverian is incorrect if it is not Stalinist. sent10: that the Arabian is not a Stalinist and it is not Hanoverian is false if the pant is a kind of a Hanoverian. sent11: the pant is a kind of a diethylstilbesterol that demineralizes pant. sent12: if the Arabian is a kind of a Lymantriidae then it shushes. sent13: if the pant is a Hanoverian the fact that the Arabian is a kind of non-Stalinist a Hanoverian is wrong. sent14: the pant is a Hanoverian if it shushes. sent15: that the fact that the receiver is a kind of non-Hanoverian thing that does not strap Belemnitidae is not false does not hold. sent16: something is a Hanoverian if the fact that it is not a Uruguayan and is not a purse is false. sent17: the receiver is Hanoverian. sent18: the fact that the fact that the Arabian is a kind of a Stalinist but it is not a Hanoverian is not false does not hold. sent19: if something straps Belemnitidae then it chances receiver. sent20: the pant is a Hanoverian if the receiver chances receiver. sent21: something does strap Belemnitidae if it is a kind of a Mansart. sent22: a Australian thing straps Belemnitidae. ; $proof$ = 
sent1 -> int1: the receiver is a kind of a Australian.; sent22 -> int2: that the receiver does strap Belemnitidae is not false if it is a Australian.; int1 & int2 -> int3: the receiver does strap Belemnitidae.; sent19 -> int4: if the receiver straps Belemnitidae it chances receiver.; int3 & int4 -> int5: the receiver does chance receiver.; int5 & sent20 -> int6: the pant is a Hanoverian.; int6 & sent10 -> int7: the fact that that the Arabian is not a Stalinist and it is not a kind of a Hanoverian is incorrect hold.; sent2 -> int8: the fact that the Arabian is a kind of a Lymantriidae is not false if the fact that it is not a Stalinist and is not a Hanoverian is not right.; int7 & int8 -> int9: the Arabian is a Lymantriidae.; int9 & sent12 -> int10: the Arabian does shush.; int10 -> hypothesis; __PROVED__