このもくもなLv.36は着目すらない
fact1: もしも「なにがしかのモンスターは着目すがしかしそれは叫び返さない」ということは成り立たないとしたら「着目すらない」ということは確かである fact2: 全てのモンスターは着目す fact3: あらゆるモンスターは気持ち良いし物語る
fact2 -> int1: 全てのモンスターは着目す; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
このもくもなLv.36は着目すらない
fact5 -> int2: もし仮に「このもくもなLv.36は着目すが叫び返さない」ということは成り立つということはないとしたら着目すらない; fact4 -> int3: このみにゅみねLv.66は気持ち良いしかつ物語る; int3 -> int4: このみにゅみねLv.66は気持ち良い;
$facts$ = fact1: もしも「なにがしかのモンスターは着目すがしかしそれは叫び返さない」ということは成り立たないとしたら「着目すらない」ということは確かである fact2: 全てのモンスターは着目す fact3: あらゆるモンスターは気持ち良いし物語る ; $hypothesis$ = このもくもなLv.36は着目すらない ; $proof$ = 
fact2 -> int1: 全てのモンスターは着目す; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__