そのぽいぽよLv.58は悪しくない
fact1: すべてのモンスターは説明し難くてそれにそれは慈愛深い fact2: 仮にあのぴえぴくLv.6が慈愛深いとするとそれは無し fact3: 仮になんらかのモンスターは慈愛深くないならば「それは悪しいけど説明し難くない」ということは誤りである fact4: 仮にあのぴえぴくLv.6が無しならばそのぽいぽよLv.58は悪しい
fact1 -> int1: 「あのぴえぴくLv.6は説明し難いしさらに慈愛深い」ということは事実である; int1 -> int2: あのぴえぴくLv.6は慈愛深い; int2 & fact2 -> int3: 「あのぴえぴくLv.6は無し」ということは正しい; int3 & fact4 -> hypothesis;
fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact2 -> int3: {C}{a}; int3 & fact4 -> hypothesis;
そのぽいぽよLv.58は悪しくない
fact5 -> int4: そのぽいぽよLv.58は慈愛深くないとすると「「そのぽいぽよLv.58は悪しいがしかし説明し難くない」ということは本当である」ということは嘘である;
$facts$ = fact1: すべてのモンスターは説明し難くてそれにそれは慈愛深い fact2: 仮にあのぴえぴくLv.6が慈愛深いとするとそれは無し fact3: 仮になんらかのモンスターは慈愛深くないならば「それは悪しいけど説明し難くない」ということは誤りである fact4: 仮にあのぴえぴくLv.6が無しならばそのぽいぽよLv.58は悪しい ; $hypothesis$ = そのぽいぽよLv.58は悪しくない ; $proof$ = 
fact1 -> int1: 「あのぴえぴくLv.6は説明し難いしさらに慈愛深い」ということは事実である; int1 -> int2: あのぴえぴくLv.6は慈愛深い; int2 & fact2 -> int3: 「あのぴえぴくLv.6は無し」ということは正しい; int3 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact2 -> int3: {C}{a}; int3 & fact4 -> hypothesis; __DISPROVED__