「あのぷゆぷくLv.21は発揮し難くない」ということは成り立つ
fact1: もしあのぷゆぷくLv.21は燃え易くないなら「あのぷゆぷくLv.21は潰せるし更に欲深い」ということは成り立つ fact2: もし仮にあのぷゆぷくLv.21が潰せるとすればそれは起き難い fact3: あのぷゆぷくLv.21は燃え易くない fact4: もし仮にあのぷゆぷくLv.21が偏り易いとすると発揮し難くない fact5: 「あのぷゆぷくLv.21は起き難い」ということは正しいならあのぷゆぷくLv.21は偏り易い
fact1 & fact3 -> int1: あのぷゆぷくLv.21は潰せるしそれは欲深い; int1 -> int2: あのぷゆぷくLv.21は潰せる; int2 & fact2 -> int3: あのぷゆぷくLv.21は起き難い; int3 & fact5 -> int4: あのぷゆぷくLv.21は偏り易い; int4 & fact4 -> hypothesis;
fact1 & fact3 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact2 -> int3: {B}{a}; int3 & fact5 -> int4: {C}{a}; int4 & fact4 -> hypothesis;
$facts$ = fact1: もしあのぷゆぷくLv.21は燃え易くないなら「あのぷゆぷくLv.21は潰せるし更に欲深い」ということは成り立つ fact2: もし仮にあのぷゆぷくLv.21が潰せるとすればそれは起き難い fact3: あのぷゆぷくLv.21は燃え易くない fact4: もし仮にあのぷゆぷくLv.21が偏り易いとすると発揮し難くない fact5: 「あのぷゆぷくLv.21は起き難い」ということは正しいならあのぷゆぷくLv.21は偏り易い ; $hypothesis$ = 「あのぷゆぷくLv.21は発揮し難くない」ということは成り立つ ; $proof$ = 
fact1 & fact3 -> int1: あのぷゆぷくLv.21は潰せるしそれは欲深い; int1 -> int2: あのぷゆぷくLv.21は潰せる; int2 & fact2 -> int3: あのぷゆぷくLv.21は起き難い; int3 & fact5 -> int4: あのぷゆぷくLv.21は偏り易い; int4 & fact4 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact2 -> int3: {B}{a}; int3 & fact5 -> int4: {C}{a}; int4 & fact4 -> hypothesis; __PROVED__