that the slump is Fabian thing that is not quiet is incorrect.
sent1: if the reptile is quiet the slump is both a Fabian and not quiet. sent2: if the switchboard is an avocado the reptile is quiet. sent3: the slump is a kind of a Fabian. sent4: the switchboard does outsell micron and is domiciliary. sent5: the switchboard is not a Kashmir. sent6: that something outsells micron and does not shillyshally retardation is false if it is a Dardanus. sent7: the switchboard is a Dardanus if it is not a kind of a Kashmir. sent8: something is an avocado if it shillyshallies retardation.
sent4 -> int1: the switchboard outsells micron.; void -> assump1: Let's assume that the switchboard does not shillyshally retardation.; int1 & assump1 -> int2: the switchboard does outsell micron but it does not shillyshally retardation.; sent6 -> int3: if the switchboard is a Dardanus then that it outsells micron and does not shillyshally retardation is incorrect.; sent7 & sent5 -> int4: the switchboard is a Dardanus.; int3 & int4 -> int5: the fact that the switchboard outsells micron and does not shillyshally retardation is false.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the switchboard shillyshallies retardation.; sent8 -> int8: if the switchboard does shillyshally retardation it is an avocado.; int7 & int8 -> int9: the switchboard is an avocado.; int9 & sent2 -> int10: that the reptile is quiet is right.; int10 & sent1 -> hypothesis;
$hypothesis$ = that the slump is Fabian thing that is not quiet is incorrect. ; $context$ = sent1: if the reptile is quiet the slump is both a Fabian and not quiet. sent2: if the switchboard is an avocado the reptile is quiet. sent3: the slump is a kind of a Fabian. sent4: the switchboard does outsell micron and is domiciliary. sent5: the switchboard is not a Kashmir. sent6: that something outsells micron and does not shillyshally retardation is false if it is a Dardanus. sent7: the switchboard is a Dardanus if it is not a kind of a Kashmir. sent8: something is an avocado if it shillyshallies retardation. ; $proof$ = 
sent4 -> int1: the switchboard outsells micron.; void -> assump1: Let's assume that the switchboard does not shillyshally retardation.; int1 & assump1 -> int2: the switchboard does outsell micron but it does not shillyshally retardation.; sent6 -> int3: if the switchboard is a Dardanus then that it outsells micron and does not shillyshally retardation is incorrect.; sent7 & sent5 -> int4: the switchboard is a Dardanus.; int3 & int4 -> int5: the fact that the switchboard outsells micron and does not shillyshally retardation is false.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the switchboard shillyshallies retardation.; sent8 -> int8: if the switchboard does shillyshally retardation it is an avocado.; int7 & int8 -> int9: the switchboard is an avocado.; int9 & sent2 -> int10: that the reptile is quiet is right.; int10 & sent1 -> hypothesis; __DISPROVED__