あのぷちょぷのLv.67は小さくない
fact1: あのまいまゆLv.11が小さいとすればあのぷちょぷのLv.67は小さい fact2: あのぷちょぷのLv.67は断定し難くない fact3: もし仮にあるモンスターが怠くらない一方で断定し難いならばそれは小さくない fact4: このもゆもにゅLv.95は小さくない fact5: もしそのもやもちゅLv.75が規則正しくないとしたらあのぷちょぷのLv.67は小さくない fact6: もし仮に断定し難くないモンスターが怠いとすると規則正しくない fact7: そのもやもちゅLv.75は断定し難くないけどそれは怠い
fact6 -> int1: もしもそのもやもちゅLv.75が断定し難くないけれど怠いとするとそのもやもちゅLv.75は規則正しくない; int1 & fact7 -> int2: そのもやもちゅLv.75は規則正しいということはない; int2 & fact5 -> hypothesis;
fact6 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact7 -> int2: ¬{B}{aa}; int2 & fact5 -> hypothesis;
あのぷちょぷのLv.67は小さい
$facts$ = fact1: あのまいまゆLv.11が小さいとすればあのぷちょぷのLv.67は小さい fact2: あのぷちょぷのLv.67は断定し難くない fact3: もし仮にあるモンスターが怠くらない一方で断定し難いならばそれは小さくない fact4: このもゆもにゅLv.95は小さくない fact5: もしそのもやもちゅLv.75が規則正しくないとしたらあのぷちょぷのLv.67は小さくない fact6: もし仮に断定し難くないモンスターが怠いとすると規則正しくない fact7: そのもやもちゅLv.75は断定し難くないけどそれは怠い ; $hypothesis$ = あのぷちょぷのLv.67は小さくない ; $proof$ = 
fact6 -> int1: もしもそのもやもちゅLv.75が断定し難くないけれど怠いとするとそのもやもちゅLv.75は規則正しくない; int1 & fact7 -> int2: そのもやもちゅLv.75は規則正しいということはない; int2 & fact5 -> hypothesis; __PROVED__
fact6 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact7 -> int2: ¬{B}{aa}; int2 & fact5 -> hypothesis; __PROVED__