そのもにゅもにょLv.22は眠たい
fact1: そのもにゅもにょLv.22は疑わしい fact2: もしそのもにゅもにょLv.22が疑わしいとしたらそのもにゅもにょLv.22は召還する fact3: もしもそのもにゅもにょLv.22が広いとすればそのもにゅもにょLv.22は眠たい fact4: 仮にとあるモンスターは疑わしいけど召還しないとしたら眠たいということはない fact5: 何らかのモンスターが上げ易いなら油っぽい fact6: 仮にあのぷいぷにゅLv.64が眠たいならあのぷいぷにゅLv.64は喋り難い fact7: 仮にそのもにゅもにょLv.22が傷付き易いとしたらそのもにゅもにょLv.22は召還する fact8: もしも「そのもにゅもにょLv.22は召還する」ということは事実であるとしたら「広い」ということは確かである
fact2 & fact1 -> int1: そのもにゅもにょLv.22は召還する; int1 & fact8 -> int2: そのもにゅもにょLv.22は広い; int2 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
仮にそのもにゅもにょLv.22が上げ易いとしたらそれは油っぽい
fact9 -> hypothesis;
$facts$ = fact1: そのもにゅもにょLv.22は疑わしい fact2: もしそのもにゅもにょLv.22が疑わしいとしたらそのもにゅもにょLv.22は召還する fact3: もしもそのもにゅもにょLv.22が広いとすればそのもにゅもにょLv.22は眠たい fact4: 仮にとあるモンスターは疑わしいけど召還しないとしたら眠たいということはない fact5: 何らかのモンスターが上げ易いなら油っぽい fact6: 仮にあのぷいぷにゅLv.64が眠たいならあのぷいぷにゅLv.64は喋り難い fact7: 仮にそのもにゅもにょLv.22が傷付き易いとしたらそのもにゅもにょLv.22は召還する fact8: もしも「そのもにゅもにょLv.22は召還する」ということは事実であるとしたら「広い」ということは確かである ; $hypothesis$ = そのもにゅもにょLv.22は眠たい ; $proof$ = 
fact2 & fact1 -> int1: そのもにゅもにょLv.22は召還する; int1 & fact8 -> int2: そのもにゅもにょLv.22は広い; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__