このまちょまにょLv.55は程無くない
fact1: そのぴやぴいLv.26は入れ難くないしまたそれは程無くない fact2: 仮にそのぴやぴいLv.26が空恐ろしいならこのもえもなLv.23は言語化する fact3: 入れ難くないモンスターが振る舞えないとしたら空恐ろしい fact4: もし仮にこのもえもなLv.23が言語化するかもしくはそれが寄る辺無いかまたは両方ともならこのまちょまにょLv.55は程無くない fact5: そのぴやぴいLv.26は入れ難くなくてそれは振る舞えない
fact3 -> int1: もし仮にそのぴやぴいLv.26が入れ難くないし加えて振る舞えるということはないならそのぴやぴいLv.26は空恐ろしい; int1 & fact5 -> int2: 「そのぴやぴいLv.26は空恐ろしい」ということは事実である; int2 & fact2 -> int3: このもえもなLv.23は言語化する; int3 -> int4: このもえもなLv.23は言語化するかそれは寄る辺無い; int4 & fact4 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact5 -> int2: {B}{aa}; int2 & fact2 -> int3: {A}{a}; int3 -> int4: ({A}{a} v {C}{a}); int4 & fact4 -> hypothesis;
$facts$ = fact1: そのぴやぴいLv.26は入れ難くないしまたそれは程無くない fact2: 仮にそのぴやぴいLv.26が空恐ろしいならこのもえもなLv.23は言語化する fact3: 入れ難くないモンスターが振る舞えないとしたら空恐ろしい fact4: もし仮にこのもえもなLv.23が言語化するかもしくはそれが寄る辺無いかまたは両方ともならこのまちょまにょLv.55は程無くない fact5: そのぴやぴいLv.26は入れ難くなくてそれは振る舞えない ; $hypothesis$ = このまちょまにょLv.55は程無くない ; $proof$ = 
fact3 -> int1: もし仮にそのぴやぴいLv.26が入れ難くないし加えて振る舞えるということはないならそのぴやぴいLv.26は空恐ろしい; int1 & fact5 -> int2: 「そのぴやぴいLv.26は空恐ろしい」ということは事実である; int2 & fact2 -> int3: このもえもなLv.23は言語化する; int3 -> int4: このもえもなLv.23は言語化するかそれは寄る辺無い; int4 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact5 -> int2: {B}{aa}; int2 & fact2 -> int3: {A}{a}; int3 -> int4: ({A}{a} v {C}{a}); int4 & fact4 -> hypothesis; __PROVED__