このぴちゃぴのLv.25は縁遠くない
fact1: もし仮に何らかのモンスターは名状し難くないとすれば縁遠いしそれに忌ま忌ましい fact2: もしもこのぴのぴちょLv.64は東上しないならば「このぴのぴちょLv.64は特徴付けるしかつ床しい」ということは成り立たない fact3: そのぴにぴいLv.45が忌ま忌ましいとしたらそのぴわぴわLv.18は名状し難い fact4: もし仮にそのぴわぴわLv.18が名状し難いかもしくは瑞々しいかもしくは両方ともであるとするとこのぴのぴちょLv.64は東上するということはない fact5: もしも「このぴのぴちょLv.64は特徴付けるしさらに床しい」ということは誤りだとしたら「このぴちゃぴのLv.25は縁遠くない」ということは成り立つ fact6: もしそのぴわぴわLv.18が瑞々しいとすればこのぴのぴちょLv.64は東上しない fact7: そのぴにぴいLv.45は忌ま忌ましい fact8: もしもこのぴのぴちょLv.64が床しいということはないならこのぴちゃぴのLv.25は縁遠くない
fact3 & fact7 -> int1: そのぴわぴわLv.18は名状し難い; int1 -> int2: そのぴわぴわLv.18は名状し難いかそれは瑞々しいかまたは両方である; int2 & fact4 -> int3: このぴのぴちょLv.64は東上するということはない; int3 & fact2 -> int4: 「このぴのぴちょLv.64は特徴付けるしそれは床しい」ということは誤りだ; int4 & fact5 -> hypothesis;
fact3 & fact7 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact4 -> int3: ¬{D}{c}; int3 & fact2 -> int4: ¬({F}{c} & {E}{c}); int4 & fact5 -> hypothesis;
「このぴちゃぴのLv.25は縁遠い」ということは確かだ
fact9 -> int5: もしそのぴにぴいLv.45が名状し難くないとしたらそのぴにぴいLv.45は縁遠いしそれは忌ま忌ましい;
$facts$ = fact1: もし仮に何らかのモンスターは名状し難くないとすれば縁遠いしそれに忌ま忌ましい fact2: もしもこのぴのぴちょLv.64は東上しないならば「このぴのぴちょLv.64は特徴付けるしかつ床しい」ということは成り立たない fact3: そのぴにぴいLv.45が忌ま忌ましいとしたらそのぴわぴわLv.18は名状し難い fact4: もし仮にそのぴわぴわLv.18が名状し難いかもしくは瑞々しいかもしくは両方ともであるとするとこのぴのぴちょLv.64は東上するということはない fact5: もしも「このぴのぴちょLv.64は特徴付けるしさらに床しい」ということは誤りだとしたら「このぴちゃぴのLv.25は縁遠くない」ということは成り立つ fact6: もしそのぴわぴわLv.18が瑞々しいとすればこのぴのぴちょLv.64は東上しない fact7: そのぴにぴいLv.45は忌ま忌ましい fact8: もしもこのぴのぴちょLv.64が床しいということはないならこのぴちゃぴのLv.25は縁遠くない ; $hypothesis$ = このぴちゃぴのLv.25は縁遠くない ; $proof$ = 
fact3 & fact7 -> int1: そのぴわぴわLv.18は名状し難い; int1 -> int2: そのぴわぴわLv.18は名状し難いかそれは瑞々しいかまたは両方である; int2 & fact4 -> int3: このぴのぴちょLv.64は東上するということはない; int3 & fact2 -> int4: 「このぴのぴちょLv.64は特徴付けるしそれは床しい」ということは誤りだ; int4 & fact5 -> hypothesis; __PROVED__
fact3 & fact7 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact4 -> int3: ¬{D}{c}; int3 & fact2 -> int4: ¬({F}{c} & {E}{c}); int4 & fact5 -> hypothesis; __PROVED__