「「「罹患し易いししかも小気味良いということはない」ということは成り立つ」モンスターはいる」ということは誤っている
fact1: 「あのぷゆぷやLv.5は作業し易い」ということは真実である fact2: 何らかのモンスターは困れば「それは罹患し易いがしかし小気味良くない」ということは確かだ fact3: あのぷゆぷやLv.5は困るしそれに作業し易い
fact2 -> int1: あのぷゆぷやLv.5は困るとすれば「あのぷゆぷやLv.5は罹患し易い一方で小気味良くない」ということは成り立つ; fact3 -> int2: あのぷゆぷやLv.5は困る; int1 & int2 -> int3: あのぷゆぷやLv.5は罹患し易い一方で小気味良くない; int3 -> hypothesis;
fact2 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact3 -> int2: {A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis;
$facts$ = fact1: 「あのぷゆぷやLv.5は作業し易い」ということは真実である fact2: 何らかのモンスターは困れば「それは罹患し易いがしかし小気味良くない」ということは確かだ fact3: あのぷゆぷやLv.5は困るしそれに作業し易い ; $hypothesis$ = 「「「罹患し易いししかも小気味良いということはない」ということは成り立つ」モンスターはいる」ということは誤っている ; $proof$ = 
fact2 -> int1: あのぷゆぷやLv.5は困るとすれば「あのぷゆぷやLv.5は罹患し易い一方で小気味良くない」ということは成り立つ; fact3 -> int2: あのぷゆぷやLv.5は困る; int1 & int2 -> int3: あのぷゆぷやLv.5は罹患し易い一方で小気味良くない; int3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact3 -> int2: {A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis; __DISPROVED__