「このぽにゃぽなLv.84は過ごし易くない」ということは本当だ
fact1: もしあのぷちょぷくLv.74が滞り易いとすればこのぴわぴにゃLv.99は軽くないししかも滞り易くない fact2: 仮にこのぴわぴにゃLv.99がしぶといとすればこのぽにゃぽなLv.84は過ごし易い fact3: 仮に「なんらかのモンスターは顕在化し易くなくて忙しくない」ということは誤りだとしたらそれは滞り易い fact4: 「あのぷちょぷくLv.74は顕在化し易くないし更に忙しくない」ということは嘘である fact5: もし仮に太しないモンスターが馴染み深くないとすれば難い fact6: もしこのぴわぴにゃLv.99が軽くなくて滞り易くないならしぶとい fact7: もしあのぷちょぷくLv.74が滞り易いとしたらこのぴわぴにゃLv.99は滞り易くない fact8: 仮に何らかのモンスターは滞り易くないかあるいはしぶとくないかあるいは両方だとしたらそれは過ごし易くない
fact3 -> int1: もしも「「あのぷちょぷくLv.74は顕在化し易くないししかも忙しくない」ということは本当である」ということは誤っているとするとあのぷちょぷくLv.74は滞り易い; int1 & fact4 -> int2: あのぷちょぷくLv.74は滞り易い; int2 & fact1 -> int3: 「このぴわぴにゃLv.99は軽いということはなくて滞り易くない」ということは事実だ; int3 & fact6 -> int4: このぴわぴにゃLv.99はしぶとい; int4 & fact2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact1 -> int3: (¬{C}{a} & ¬{B}{a}); int3 & fact6 -> int4: {A}{a}; int4 & fact2 -> hypothesis;
もしこのぴわぴにゃLv.99が太しないしそれが馴染み深くないならば難い
fact9 -> hypothesis;
$facts$ = fact1: もしあのぷちょぷくLv.74が滞り易いとすればこのぴわぴにゃLv.99は軽くないししかも滞り易くない fact2: 仮にこのぴわぴにゃLv.99がしぶといとすればこのぽにゃぽなLv.84は過ごし易い fact3: 仮に「なんらかのモンスターは顕在化し易くなくて忙しくない」ということは誤りだとしたらそれは滞り易い fact4: 「あのぷちょぷくLv.74は顕在化し易くないし更に忙しくない」ということは嘘である fact5: もし仮に太しないモンスターが馴染み深くないとすれば難い fact6: もしこのぴわぴにゃLv.99が軽くなくて滞り易くないならしぶとい fact7: もしあのぷちょぷくLv.74が滞り易いとしたらこのぴわぴにゃLv.99は滞り易くない fact8: 仮に何らかのモンスターは滞り易くないかあるいはしぶとくないかあるいは両方だとしたらそれは過ごし易くない ; $hypothesis$ = 「このぽにゃぽなLv.84は過ごし易くない」ということは本当だ ; $proof$ = 
fact3 -> int1: もしも「「あのぷちょぷくLv.74は顕在化し易くないししかも忙しくない」ということは本当である」ということは誤っているとするとあのぷちょぷくLv.74は滞り易い; int1 & fact4 -> int2: あのぷちょぷくLv.74は滞り易い; int2 & fact1 -> int3: 「このぴわぴにゃLv.99は軽いということはなくて滞り易くない」ということは事実だ; int3 & fact6 -> int4: このぴわぴにゃLv.99はしぶとい; int4 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact4 -> int2: {B}{aa}; int2 & fact1 -> int3: (¬{C}{a} & ¬{B}{a}); int3 & fact6 -> int4: {A}{a}; int4 & fact2 -> hypothesis; __DISPROVED__