「そのぽやぽにゅLv.44は程遠いが心憎くない」ということは成り立たない
fact1: もし「甘酸っぱいということはない」モンスターがいるならそのぽやぽにゅLv.44は程遠いけど心憎くない fact2: あのまやまにょLv.86は捕まえ易いし更に御濃い fact3: あのまやまにょLv.86は慕わしい fact4: もしあのまやまにょLv.86は捕まえ易くてまた慕わしいとすると「このもちゃもわLv.77は甘酸っぱくない」ということは真実だ
fact2 -> int1: あのまやまにょLv.86は捕まえ易い; int1 & fact3 -> int2: あのまやまにょLv.86は捕まえ易いしさらに慕わしい; int2 & fact4 -> int3: このもちゃもわLv.77は甘酸っぱくない; int3 -> int4: 甘酸っぱくないモンスターはいる; int4 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{b}; int3 -> int4: (Ex): ¬{D}x; int4 & fact1 -> hypothesis;
$facts$ = fact1: もし「甘酸っぱいということはない」モンスターがいるならそのぽやぽにゅLv.44は程遠いけど心憎くない fact2: あのまやまにょLv.86は捕まえ易いし更に御濃い fact3: あのまやまにょLv.86は慕わしい fact4: もしあのまやまにょLv.86は捕まえ易くてまた慕わしいとすると「このもちゃもわLv.77は甘酸っぱくない」ということは真実だ ; $hypothesis$ = 「そのぽやぽにゅLv.44は程遠いが心憎くない」ということは成り立たない ; $proof$ = 
fact2 -> int1: あのまやまにょLv.86は捕まえ易い; int1 & fact3 -> int2: あのまやまにょLv.86は捕まえ易いしさらに慕わしい; int2 & fact4 -> int3: このもちゃもわLv.77は甘酸っぱくない; int3 -> int4: 甘酸っぱくないモンスターはいる; int4 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{b}; int3 -> int4: (Ex): ¬{D}x; int4 & fact1 -> hypothesis; __DISPROVED__