あのまえまにゅLv.6は忍耐強くない
fact1: あのまえまにゅLv.6は愛唱する fact2: あのまえまにゅLv.6は漏れ易くないが小難しい fact3: 漏れ易いしさらに小難しいモンスターは通り難くない fact4: もしも漏れ易くないモンスターが小難しいなら通り難くない fact5: あのぴくぴのLv.93は愛唱しない fact6: 仮にあのまえまにゅLv.6が通り難くないが愛唱するとしたらあのまえまにゅLv.6は忍耐強くない
fact4 -> int1: もし仮にあのまえまにゅLv.6が漏れ易くないけどそれが小難しいとすれば通り難くない; int1 & fact2 -> int2: あのまえまにゅLv.6は通り難くない; int2 & fact1 -> int3: あのまえまにゅLv.6は通り難いということはないがしかしそれは愛唱する; int3 & fact6 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 & fact1 -> int3: (¬{B}{aa} & {A}{aa}); int3 & fact6 -> hypothesis;
$facts$ = fact1: あのまえまにゅLv.6は愛唱する fact2: あのまえまにゅLv.6は漏れ易くないが小難しい fact3: 漏れ易いしさらに小難しいモンスターは通り難くない fact4: もしも漏れ易くないモンスターが小難しいなら通り難くない fact5: あのぴくぴのLv.93は愛唱しない fact6: 仮にあのまえまにゅLv.6が通り難くないが愛唱するとしたらあのまえまにゅLv.6は忍耐強くない ; $hypothesis$ = あのまえまにゅLv.6は忍耐強くない ; $proof$ = 
fact4 -> int1: もし仮にあのまえまにゅLv.6が漏れ易くないけどそれが小難しいとすれば通り難くない; int1 & fact2 -> int2: あのまえまにゅLv.6は通り難くない; int2 & fact1 -> int3: あのまえまにゅLv.6は通り難いということはないがしかしそれは愛唱する; int3 & fact6 -> hypothesis; __PROVED__
fact4 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 & fact1 -> int3: (¬{B}{aa} & {A}{aa}); int3 & fact6 -> hypothesis; __PROVED__