that there is something such that if it is a kind of a yak then it is not noticeable is not true.
sent1: the lavender is not a bouncing. sent2: something does not jiggle peepshow. sent3: the amnesic is a yak and is not noticeable if the toboggan is a bouncing. sent4: if the amnesic is a yak and is noticeable then the fact that it is a bouncing is not true. sent5: something does jiggle peepshow and is a kind of a bouncing if it is not uncousinly. sent6: the fact that the amnesic is a diva is not false if it is a bouncing. sent7: if there exists something such that it does not jiggle peepshow then the amnesic is a kind of a bouncing. sent8: there exists something such that if it is a yak then it is noticeable.
void -> assump1: Let's assume that the amnesic does yak.; void -> assump2: Let's assume that the amnesic is noticeable.; assump1 & assump2 -> int1: the amnesic is a kind of a yak that is noticeable.; int1 & sent4 -> int2: the amnesic is not a bouncing.; sent2 & sent7 -> int3: the amnesic does bounce.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the amnesic is not noticeable.; [assump1] & int5 -> int6: that the amnesic is not noticeable is true if it yaks.; int6 -> hypothesis;
the bacteroid is not a kind of a Maracaibo.
sent5 -> int7: the toboggan jiggles peepshow and it is a kind of a bouncing if it is not uncousinly.;
$hypothesis$ = that there is something such that if it is a kind of a yak then it is not noticeable is not true. ; $context$ = sent1: the lavender is not a bouncing. sent2: something does not jiggle peepshow. sent3: the amnesic is a yak and is not noticeable if the toboggan is a bouncing. sent4: if the amnesic is a yak and is noticeable then the fact that it is a bouncing is not true. sent5: something does jiggle peepshow and is a kind of a bouncing if it is not uncousinly. sent6: the fact that the amnesic is a diva is not false if it is a bouncing. sent7: if there exists something such that it does not jiggle peepshow then the amnesic is a kind of a bouncing. sent8: there exists something such that if it is a yak then it is noticeable. ; $proof$ = 
void -> assump1: Let's assume that the amnesic does yak.; void -> assump2: Let's assume that the amnesic is noticeable.; assump1 & assump2 -> int1: the amnesic is a kind of a yak that is noticeable.; int1 & sent4 -> int2: the amnesic is not a bouncing.; sent2 & sent7 -> int3: the amnesic does bounce.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the amnesic is not noticeable.; [assump1] & int5 -> int6: that the amnesic is not noticeable is true if it yaks.; int6 -> hypothesis; __DISPROVED__