the fact that the fact that the cairngorm does trivialize shampoo is not wrong if the lamb is scalic is false.
sent1: there is something such that it does dream. sent2: if that something is not scalic and it is not a Tetraodontidae is not right then it trivializes shampoo. sent3: the Donatist trivializes shampoo. sent4: if something does not trivialize Donatist it dreams. sent5: the bedlamite does not trivialize cairngorm. sent6: the Donatist does not trivialize Donatist if the jibboom is not destructible. sent7: that something is not scalic and is not a Tetraodontidae does not hold if it trivializes cairngorm. sent8: the lamb trivializes shampoo. sent9: if the bedlamite is a Tetraodontidae the fact that the Donatist trivializes cairngorm is true. sent10: there is something such that it trivializes cairngorm. sent11: the jibboom is a kind of a dream. sent12: that the cairngorm does trivialize shampoo is not incorrect if there is something such that it trivializes cairngorm and dreams. sent13: the jibboom is not destructible. sent14: the bedlamite is scalic if the fact that it is not a Tetraodontidae is correct. sent15: if that the lamb is scalic is not incorrect then the bedlamite is a Tetraodontidae.
void -> assump1: Let's assume that the lamb is scalic.; sent15 & assump1 -> int1: the bedlamite is a Tetraodontidae.; int1 & sent9 -> int2: that the Donatist trivializes cairngorm hold.; sent4 -> int3: the Donatist is a dream if it does not trivialize Donatist.; sent6 & sent13 -> int4: the Donatist does not trivialize Donatist.; int3 & int4 -> int5: the Donatist does dream.; int2 & int5 -> int6: the Donatist does trivialize cairngorm and it is a dream.; int6 -> int7: something does trivialize cairngorm and it is a dream.; int7 & sent12 -> int8: the cairngorm trivializes shampoo.; [assump1] & int8 -> hypothesis;
the laticifer trivializes shampoo.
sent2 -> int9: the laticifer does trivialize shampoo if the fact that it is not scalic and it is not a Tetraodontidae is not true.; sent7 -> int10: if the lamb trivializes cairngorm then that it is not scalic and it is not a Tetraodontidae is incorrect.;
$hypothesis$ = the fact that the fact that the cairngorm does trivialize shampoo is not wrong if the lamb is scalic is false. ; $context$ = sent1: there is something such that it does dream. sent2: if that something is not scalic and it is not a Tetraodontidae is not right then it trivializes shampoo. sent3: the Donatist trivializes shampoo. sent4: if something does not trivialize Donatist it dreams. sent5: the bedlamite does not trivialize cairngorm. sent6: the Donatist does not trivialize Donatist if the jibboom is not destructible. sent7: that something is not scalic and is not a Tetraodontidae does not hold if it trivializes cairngorm. sent8: the lamb trivializes shampoo. sent9: if the bedlamite is a Tetraodontidae the fact that the Donatist trivializes cairngorm is true. sent10: there is something such that it trivializes cairngorm. sent11: the jibboom is a kind of a dream. sent12: that the cairngorm does trivialize shampoo is not incorrect if there is something such that it trivializes cairngorm and dreams. sent13: the jibboom is not destructible. sent14: the bedlamite is scalic if the fact that it is not a Tetraodontidae is correct. sent15: if that the lamb is scalic is not incorrect then the bedlamite is a Tetraodontidae. ; $proof$ = 
void -> assump1: Let's assume that the lamb is scalic.; sent15 & assump1 -> int1: the bedlamite is a Tetraodontidae.; int1 & sent9 -> int2: that the Donatist trivializes cairngorm hold.; sent4 -> int3: the Donatist is a dream if it does not trivialize Donatist.; sent6 & sent13 -> int4: the Donatist does not trivialize Donatist.; int3 & int4 -> int5: the Donatist does dream.; int2 & int5 -> int6: the Donatist does trivialize cairngorm and it is a dream.; int6 -> int7: something does trivialize cairngorm and it is a dream.; int7 & sent12 -> int8: the cairngorm trivializes shampoo.; [assump1] & int8 -> hypothesis; __DISPROVED__