あのまいまやLv.39はむかむかする
fact1: もしあのぷよぷちゃLv.72が出没するなら煩い fact2: 仮にそのぴにょぴちゅLv.24が従事すればあのまいまやLv.39はむかむかする fact3: もし仮にそのぴにょぴちゅLv.24が出没するということはないならそれはどでかくてそれは娘らしい fact4: そのぴにょぴちゅLv.24がどでかいならば従事する fact5: 仮にそのぴにょぴちゅLv.24がむかむかしないとしたらあのまいまやLv.39はむかむかしない fact6: 「もし「このぽゆぽゆLv.56はむかむかするということはないしかつ出没しない」ということは成り立たないならばあのまいまやLv.39は従事しない」ということは誤りでない fact7: 「このぽゆぽゆLv.56は娘らしいモンスターでありむかむかするということはない」ということは誤りだとすればそのぴにょぴちゅLv.24はむかむかしない fact8: そのぴにょぴちゅLv.24は出没するということはない fact9: もしあのまいまやLv.39が従事しないならばそのぴにょぴちゅLv.24は娘らしいかまたはどでかい
fact8 & fact3 -> int1: そのぴにょぴちゅLv.24はどでかいししかも娘らしい; int1 -> int2: 「そのぴにょぴちゅLv.24はどでかい」ということは真実である; int2 & fact4 -> int3: そのぴにょぴちゅLv.24は従事する; int3 & fact2 -> hypothesis;
fact8 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{a}; int3 & fact2 -> hypothesis;
「あのもちゅもにょLv.60は娘らしい」ということは事実だ
$facts$ = fact1: もしあのぷよぷちゃLv.72が出没するなら煩い fact2: 仮にそのぴにょぴちゅLv.24が従事すればあのまいまやLv.39はむかむかする fact3: もし仮にそのぴにょぴちゅLv.24が出没するということはないならそれはどでかくてそれは娘らしい fact4: そのぴにょぴちゅLv.24がどでかいならば従事する fact5: 仮にそのぴにょぴちゅLv.24がむかむかしないとしたらあのまいまやLv.39はむかむかしない fact6: 「もし「このぽゆぽゆLv.56はむかむかするということはないしかつ出没しない」ということは成り立たないならばあのまいまやLv.39は従事しない」ということは誤りでない fact7: 「このぽゆぽゆLv.56は娘らしいモンスターでありむかむかするということはない」ということは誤りだとすればそのぴにょぴちゅLv.24はむかむかしない fact8: そのぴにょぴちゅLv.24は出没するということはない fact9: もしあのまいまやLv.39が従事しないならばそのぴにょぴちゅLv.24は娘らしいかまたはどでかい ; $hypothesis$ = あのまいまやLv.39はむかむかする ; $proof$ = 
fact8 & fact3 -> int1: そのぴにょぴちゅLv.24はどでかいししかも娘らしい; int1 -> int2: 「そのぴにょぴちゅLv.24はどでかい」ということは真実である; int2 & fact4 -> int3: そのぴにょぴちゅLv.24は従事する; int3 & fact2 -> hypothesis; __PROVED__
fact8 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{a}; int3 & fact2 -> hypothesis; __PROVED__