このぴわぴやLv.84は算定し難いけれどすっごいということはない
fact1: そのぷいぷにLv.10は期し難いけどそれは張り込むということはない fact2: 仮に「捨てるし腑甲斐無い」モンスターがいるとするとそのぷいぷにLv.10はすっごいということはない fact3: 仮にそのぷにぷいLv.12が捕らわれ易いなら腑甲斐無い fact4: そのぷにぷいLv.12は捨てる fact5: そのぷにぷいLv.12は捕らわれ易い fact6: とあるモンスターはすっごいしかつ腑甲斐無い fact7: 仮にそのぷいぷにLv.10がすっごいということはないとするとこのぴわぴやLv.84は算定し難いけれどすっごくない
fact3 & fact5 -> int1: 「そのぷにぷいLv.12は腑甲斐無い」ということは確かである; int1 & fact4 -> int2: そのぷにぷいLv.12は捨てるしおまけにそれは腑甲斐無い; int2 -> int3: なにがしかのモンスターは捨てるしさらに腑甲斐無い; int3 & fact2 -> int4: そのぷいぷにLv.10はすっごくない; int4 & fact7 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: ({C}{a} & {B}{a}); int2 -> int3: (Ex): ({C}x & {B}x); int3 & fact2 -> int4: ¬{D}{b}; int4 & fact7 -> hypothesis;
$facts$ = fact1: そのぷいぷにLv.10は期し難いけどそれは張り込むということはない fact2: 仮に「捨てるし腑甲斐無い」モンスターがいるとするとそのぷいぷにLv.10はすっごいということはない fact3: 仮にそのぷにぷいLv.12が捕らわれ易いなら腑甲斐無い fact4: そのぷにぷいLv.12は捨てる fact5: そのぷにぷいLv.12は捕らわれ易い fact6: とあるモンスターはすっごいしかつ腑甲斐無い fact7: 仮にそのぷいぷにLv.10がすっごいということはないとするとこのぴわぴやLv.84は算定し難いけれどすっごくない ; $hypothesis$ = このぴわぴやLv.84は算定し難いけれどすっごいということはない ; $proof$ = 
fact3 & fact5 -> int1: 「そのぷにぷいLv.12は腑甲斐無い」ということは確かである; int1 & fact4 -> int2: そのぷにぷいLv.12は捨てるしおまけにそれは腑甲斐無い; int2 -> int3: なにがしかのモンスターは捨てるしさらに腑甲斐無い; int3 & fact2 -> int4: そのぷいぷにLv.10はすっごくない; int4 & fact7 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: ({C}{a} & {B}{a}); int2 -> int3: (Ex): ({C}x & {B}x); int3 & fact2 -> int4: ¬{D}{b}; int4 & fact7 -> hypothesis; __PROVED__