「「生み難くなくてそれに果てし無くない」モンスターはいる」ということは間違っている
fact1: あのもなもねLv.65は粗い fact2: 生み難いしその上果てし無いということはないモンスターはいる fact3: もしあるモンスターが生み難いかそれは回避すかもしくはどちらもであるとすれば鳴らし続けるということはない fact4: あのもなもねLv.65は生み難くない fact5: 仮にあのもなもねLv.65が揮毫するかそれが由々しとするとそれは果てし無いということはない fact6: 「もし仮にあのもなもねLv.65が由々しならあのもなもねLv.65は果てし無くない」ということは成り立つ fact7: 仮にあのもなもねLv.65が粗いとすればあのもなもねLv.65は揮毫する
fact7 & fact1 -> int1: あのもなもねLv.65は揮毫する; int1 -> int2: あのもなもねLv.65は揮毫するか由々しかあるいは両方ともである; int2 & fact5 -> int3: あのもなもねLv.65は果てし無くない; int3 & fact4 -> int4: あのもなもねLv.65は生み難くないしその上果てし無くない; int4 -> hypothesis;
fact7 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact5 -> int3: ¬{D}{a}; int3 & fact4 -> int4: (¬{E}{a} & ¬{D}{a}); int4 -> hypothesis;
もしもあのもなもねLv.65は生み難いかあるいは回避すなら「あのもなもねLv.65は鳴らし続けない」ということは真実だ
fact8 -> hypothesis;
$facts$ = fact1: あのもなもねLv.65は粗い fact2: 生み難いしその上果てし無いということはないモンスターはいる fact3: もしあるモンスターが生み難いかそれは回避すかもしくはどちらもであるとすれば鳴らし続けるということはない fact4: あのもなもねLv.65は生み難くない fact5: 仮にあのもなもねLv.65が揮毫するかそれが由々しとするとそれは果てし無いということはない fact6: 「もし仮にあのもなもねLv.65が由々しならあのもなもねLv.65は果てし無くない」ということは成り立つ fact7: 仮にあのもなもねLv.65が粗いとすればあのもなもねLv.65は揮毫する ; $hypothesis$ = 「「生み難くなくてそれに果てし無くない」モンスターはいる」ということは間違っている ; $proof$ = 
fact7 & fact1 -> int1: あのもなもねLv.65は揮毫する; int1 -> int2: あのもなもねLv.65は揮毫するか由々しかあるいは両方ともである; int2 & fact5 -> int3: あのもなもねLv.65は果てし無くない; int3 & fact4 -> int4: あのもなもねLv.65は生み難くないしその上果てし無くない; int4 -> hypothesis; __DISPROVED__
fact7 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact5 -> int3: ¬{D}{a}; int3 & fact4 -> int4: (¬{E}{a} & ¬{D}{a}); int4 -> hypothesis; __DISPROVED__