このみにみよLv.72は呼び易いがしかし溜め込み易くない
fact1: もし仮にあるモンスターは仕事らしいとすると「弛み無い」ということは成り立つ fact2: もし何らかのモンスターは弛み無いとしたら「それは掛かり難いしそれは言い出し難いということはない」ということは成り立たない fact3: 呼び易いけど溜め込み易くないというモンスターはない fact4: 「そのぴわぴちゅLv.32は溜め込み易いけれど浮き立たない」ということは嘘だ
fact3 -> int1: 呼び易いけど溜め込み易くないというモンスターはない; int1 -> hypothesis;
fact3 -> int1: (x): ¬({AA}x & ¬{AB}x); int1 -> hypothesis;
「それは掛かり難くて言い出し難くないというモンスターはない」ということは本当だ
fact6 -> int2: 仮にこのみにみよLv.72は弛み無いならば「それは掛かり難いけど言い出し難いということはない」ということは嘘である; fact5 -> int3: もし「このみにみよLv.72は仕事らしい」ということは真実だとしたらこのみにみよLv.72は弛み無い;
$facts$ = fact1: もし仮にあるモンスターは仕事らしいとすると「弛み無い」ということは成り立つ fact2: もし何らかのモンスターは弛み無いとしたら「それは掛かり難いしそれは言い出し難いということはない」ということは成り立たない fact3: 呼び易いけど溜め込み易くないというモンスターはない fact4: 「そのぴわぴちゅLv.32は溜め込み易いけれど浮き立たない」ということは嘘だ ; $hypothesis$ = このみにみよLv.72は呼び易いがしかし溜め込み易くない ; $proof$ = 
fact3 -> int1: 呼び易いけど溜め込み易くないというモンスターはない; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): ¬({AA}x & ¬{AB}x); int1 -> hypothesis; __DISPROVED__