the companionway is gymnastic and/or it is arbitrative.
sent1: the boom is a kind of a Syrian if the fact that the goldstone is not a kind of a sashay and snoozes is false. sent2: that the goldstone is not a kind of a sashay but it does snooze is wrong. sent3: if that something does not rebel and is not a Syrian is not true then it does saltate. sent4: if the fact that something does not snooze and it is not a kind of a sashay does not hold then it does saltate. sent5: the goldstone rebels and is a Syrian if it does not saltate. sent6: if the goldstone does not snooze then the boom is a Syrian. sent7: the fact that the zwieback does not rebel and is not a Syrian is incorrect if the boom is a Syrian. sent8: if the zwieback is literal the companionway is gymnastic. sent9: if something saltates then the fact that it is literal hold.
sent1 & sent2 -> int1: the boom is a Syrian.; int1 & sent7 -> int2: the fact that the fact that the zwieback does not rebel and it is not a Syrian is right is not true.; sent3 -> int3: the zwieback does saltate if that it does not rebel and is not a Syrian is wrong.; int2 & int3 -> int4: the zwieback does saltate.; sent9 -> int5: if the zwieback saltates then it is literal.; int4 & int5 -> int6: the zwieback is not non-literal.; int6 & sent8 -> int7: the companionway is gymnastic.; int7 -> hypothesis;
the fact that the companionway is not non-gymnastic and/or it is arbitrative is not right.
$hypothesis$ = the companionway is gymnastic and/or it is arbitrative. ; $context$ = sent1: the boom is a kind of a Syrian if the fact that the goldstone is not a kind of a sashay and snoozes is false. sent2: that the goldstone is not a kind of a sashay but it does snooze is wrong. sent3: if that something does not rebel and is not a Syrian is not true then it does saltate. sent4: if the fact that something does not snooze and it is not a kind of a sashay does not hold then it does saltate. sent5: the goldstone rebels and is a Syrian if it does not saltate. sent6: if the goldstone does not snooze then the boom is a Syrian. sent7: the fact that the zwieback does not rebel and is not a Syrian is incorrect if the boom is a Syrian. sent8: if the zwieback is literal the companionway is gymnastic. sent9: if something saltates then the fact that it is literal hold. ; $proof$ = 
sent1 & sent2 -> int1: the boom is a Syrian.; int1 & sent7 -> int2: the fact that the fact that the zwieback does not rebel and it is not a Syrian is right is not true.; sent3 -> int3: the zwieback does saltate if that it does not rebel and is not a Syrian is wrong.; int2 & int3 -> int4: the zwieback does saltate.; sent9 -> int5: if the zwieback saltates then it is literal.; int4 & int5 -> int6: the zwieback is not non-literal.; int6 & sent8 -> int7: the companionway is gymnastic.; int7 -> hypothesis; __PROVED__