the olive is phonetic.
sent1: the dobson is not a Rousseau if the East is a kind of non-rejective thing that is not a Rousseau. sent2: the dobson transfers plunger or is not phonetic or both. sent3: the diskette is phonetic. sent4: the dobson does transfer plunger and it is scalar. sent5: the olive is phonetic if the diskette does not presume. sent6: something that does transfer plunger is a Rousseau. sent7: if the East is rejective the diskette does not presume or is not rejective or both. sent8: the diskette either presumes or is not rejective or both if the East is rejective. sent9: that the East is rejective is not incorrect if the dobson is a Rousseau. sent10: the olive is phonetic if the diskette does not presume or it is not rejective or both. sent11: if something does not transfer plunger then it is not morphologic or it is not a Rousseau or both.
sent4 -> int1: the dobson does transfer plunger.; sent6 -> int2: if the dobson does transfer plunger it is a Rousseau.; int1 & int2 -> int3: the dobson is a Rousseau.; int3 & sent9 -> int4: the East is rejective.; int4 & sent7 -> int5: the diskette does not presume and/or is not rejective.; int5 & sent10 -> hypothesis;
the olive is not phonetic.
$hypothesis$ = the olive is phonetic. ; $context$ = sent1: the dobson is not a Rousseau if the East is a kind of non-rejective thing that is not a Rousseau. sent2: the dobson transfers plunger or is not phonetic or both. sent3: the diskette is phonetic. sent4: the dobson does transfer plunger and it is scalar. sent5: the olive is phonetic if the diskette does not presume. sent6: something that does transfer plunger is a Rousseau. sent7: if the East is rejective the diskette does not presume or is not rejective or both. sent8: the diskette either presumes or is not rejective or both if the East is rejective. sent9: that the East is rejective is not incorrect if the dobson is a Rousseau. sent10: the olive is phonetic if the diskette does not presume or it is not rejective or both. sent11: if something does not transfer plunger then it is not morphologic or it is not a Rousseau or both. ; $proof$ = 
sent4 -> int1: the dobson does transfer plunger.; sent6 -> int2: if the dobson does transfer plunger it is a Rousseau.; int1 & int2 -> int3: the dobson is a Rousseau.; int3 & sent9 -> int4: the East is rejective.; int4 & sent7 -> int5: the diskette does not presume and/or is not rejective.; int5 & sent10 -> hypothesis; __PROVED__