「このまやまねLv.86はしょっぱくないしそれにそれは注意深くない」ということは偽である
fact1: そのみいみねLv.68は通り難い fact2: もしもそのみいみねLv.68が通り難くてそれが御偉いとすればあのものもゆLv.26は育ち難くない fact3: そのみいみねLv.68は御偉い fact4: 仮にあのものもゆLv.26が育ち難くないならばこのまやまねLv.86はしょっぱくなくて加えてそれは注意深くない
fact1 & fact3 -> int1: そのみいみねLv.68は通り難いしさらにそれは御偉い; int1 & fact2 -> int2: あのものもゆLv.26は育ち難くない; int2 & fact4 -> hypothesis;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: そのみいみねLv.68は通り難い fact2: もしもそのみいみねLv.68が通り難くてそれが御偉いとすればあのものもゆLv.26は育ち難くない fact3: そのみいみねLv.68は御偉い fact4: 仮にあのものもゆLv.26が育ち難くないならばこのまやまねLv.86はしょっぱくなくて加えてそれは注意深くない ; $hypothesis$ = 「このまやまねLv.86はしょっぱくないしそれにそれは注意深くない」ということは偽である ; $proof$ = 
fact1 & fact3 -> int1: そのみいみねLv.68は通り難いしさらにそれは御偉い; int1 & fact2 -> int2: あのものもゆLv.26は育ち難くない; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__