「あのみゆみねLv.22は厳しい」ということは事実だ
fact1: あのぷにぷのLv.14は迷い易くて取得し易い fact2: 迷い易いモンスターは取得し易いけれど厳しくない fact3: もしあのぷにぷのLv.14が掻き易いけれど新生しないとするとあのみゆみねLv.22は厳しくない fact4: 取得し易いモンスターは掻き易いがしかし新生しない
fact4 -> int1: もしあのぷにぷのLv.14が取得し易いとするとそれは掻き易いが新生しない; fact1 -> int2: あのぷにぷのLv.14は取得し易い; int1 & int2 -> int3: あのぷにぷのLv.14は掻き易いがしかし新生しない; int3 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact1 -> int2: {A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 & fact3 -> hypothesis;
$facts$ = fact1: あのぷにぷのLv.14は迷い易くて取得し易い fact2: 迷い易いモンスターは取得し易いけれど厳しくない fact3: もしあのぷにぷのLv.14が掻き易いけれど新生しないとするとあのみゆみねLv.22は厳しくない fact4: 取得し易いモンスターは掻き易いがしかし新生しない ; $hypothesis$ = 「あのみゆみねLv.22は厳しい」ということは事実だ ; $proof$ = 
fact4 -> int1: もしあのぷにぷのLv.14が取得し易いとするとそれは掻き易いが新生しない; fact1 -> int2: あのぷにぷのLv.14は取得し易い; int1 & int2 -> int3: あのぷにぷのLv.14は掻き易いがしかし新生しない; int3 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact1 -> int2: {A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); int3 & fact3 -> hypothesis; __DISPROVED__