「あのぽちゃぽにゃLv.37はでかくないけど失職する」ということは成り立たない
fact1: あのぴちゃぴにLv.55はむくつけし fact2: 仮にあのぴちゃぴにLv.55が飛び立てばそのぷよぷよLv.70は送検する fact3: もし仮にそのぷよぷよLv.70は送検すれば「あのぽちゃぽにゃLv.37はでかくないけれど失職する」ということは真実でない fact4: あのぴちゃぴにLv.55は飛び立つしその上むくつけし
fact4 -> int1: あのぴちゃぴにLv.55は飛び立つ; int1 & fact2 -> int2: そのぷよぷよLv.70は送検する; int2 & fact3 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぴちゃぴにLv.55はむくつけし fact2: 仮にあのぴちゃぴにLv.55が飛び立てばそのぷよぷよLv.70は送検する fact3: もし仮にそのぷよぷよLv.70は送検すれば「あのぽちゃぽにゃLv.37はでかくないけれど失職する」ということは真実でない fact4: あのぴちゃぴにLv.55は飛び立つしその上むくつけし ; $hypothesis$ = 「あのぽちゃぽにゃLv.37はでかくないけど失職する」ということは成り立たない ; $proof$ = 
fact4 -> int1: あのぴちゃぴにLv.55は飛び立つ; int1 & fact2 -> int2: そのぷよぷよLv.70は送検する; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__