the switcher is not a narrowed.
sent1: if that the pimozide is unhelpful is right the switcher is frictionless. sent2: the Gujarati is not geomorphologic. sent3: something is not foolish if that it does not scram Mugilidae is true. sent4: if that that the duff is a spear and/or it is not a presenter is false is correct the Toltec is not a spear. sent5: the illustration does not scram Mugilidae if the switcher is frictionless thing that does narrow. sent6: the Gujarati is geomorphologic and it is frictionless if the pimozide does not scram Mugilidae. sent7: if the Gujarati is not geomorphologic then the pimozide is dormant and it is unhelpful. sent8: the illustration is both not non-foolish and a rates. sent9: the fact that the illustration is both a rates and foolish is wrong if the Toltec does not spear.
sent7 & sent2 -> int1: the pimozide is a kind of dormant thing that is not helpful.; int1 -> int2: the fact that the pimozide is unhelpful is correct.; int2 & sent1 -> int3: the switcher is frictionless.; void -> assump1: Let's assume that the switcher is narrowed.; int3 & assump1 -> int4: the switcher is frictionless and it is a narrowed.; int4 & sent5 -> int5: the illustration does not scram Mugilidae.; sent3 -> int6: the illustration is not foolish if it does not scram Mugilidae.; int5 & int6 -> int7: the illustration is not foolish.; sent8 -> int8: that the illustration is foolish is not false.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the switcher does narrow.
$hypothesis$ = the switcher is not a narrowed. ; $context$ = sent1: if that the pimozide is unhelpful is right the switcher is frictionless. sent2: the Gujarati is not geomorphologic. sent3: something is not foolish if that it does not scram Mugilidae is true. sent4: if that that the duff is a spear and/or it is not a presenter is false is correct the Toltec is not a spear. sent5: the illustration does not scram Mugilidae if the switcher is frictionless thing that does narrow. sent6: the Gujarati is geomorphologic and it is frictionless if the pimozide does not scram Mugilidae. sent7: if the Gujarati is not geomorphologic then the pimozide is dormant and it is unhelpful. sent8: the illustration is both not non-foolish and a rates. sent9: the fact that the illustration is both a rates and foolish is wrong if the Toltec does not spear. ; $proof$ = 
sent7 & sent2 -> int1: the pimozide is a kind of dormant thing that is not helpful.; int1 -> int2: the fact that the pimozide is unhelpful is correct.; int2 & sent1 -> int3: the switcher is frictionless.; void -> assump1: Let's assume that the switcher is narrowed.; int3 & assump1 -> int4: the switcher is frictionless and it is a narrowed.; int4 & sent5 -> int5: the illustration does not scram Mugilidae.; sent3 -> int6: the illustration is not foolish if it does not scram Mugilidae.; int5 & int6 -> int7: the illustration is not foolish.; sent8 -> int8: that the illustration is foolish is not false.; int7 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__