「このもゆもよLv.75は疲労し易くない」ということは成り立つ
fact1: 「もしもとあるモンスターが厚過ぎないとするとそれはしゃあ無いし更に葡有する」ということは本当である fact2: もしあのもゆものLv.72が喜ばしいとしたらこのもゆもよLv.75は疲労し易い fact3: あのもゆものLv.72は厚過ぎない fact4: もしもあのもゆものLv.72が葡有するとすればあのもゆものLv.72は喜ばしい
fact1 -> int1: あのもゆものLv.72が厚過ぎないならばそれはしゃあ無いしかつ葡有する; int1 & fact3 -> int2: あのもゆものLv.72はしゃあ無いし更に葡有する; int2 -> int3: あのもゆものLv.72は葡有する; int3 & fact4 -> int4: あのもゆものLv.72は喜ばしい; int4 & fact2 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact4 -> int4: {B}{aa}; int4 & fact2 -> hypothesis;
$facts$ = fact1: 「もしもとあるモンスターが厚過ぎないとするとそれはしゃあ無いし更に葡有する」ということは本当である fact2: もしあのもゆものLv.72が喜ばしいとしたらこのもゆもよLv.75は疲労し易い fact3: あのもゆものLv.72は厚過ぎない fact4: もしもあのもゆものLv.72が葡有するとすればあのもゆものLv.72は喜ばしい ; $hypothesis$ = 「このもゆもよLv.75は疲労し易くない」ということは成り立つ ; $proof$ = 
fact1 -> int1: あのもゆものLv.72が厚過ぎないならばそれはしゃあ無いしかつ葡有する; int1 & fact3 -> int2: あのもゆものLv.72はしゃあ無いし更に葡有する; int2 -> int3: あのもゆものLv.72は葡有する; int3 & fact4 -> int4: あのもゆものLv.72は喜ばしい; int4 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact4 -> int4: {B}{aa}; int4 & fact2 -> hypothesis; __DISPROVED__