このもにょもえLv.0は免れ得る
fact1: このもにょもえLv.0が疑り深いならこのもにょもえLv.0は免れ得ない fact2: 格好良くないモンスターは淡くないけれど毛深い fact3: そのぷなぷねLv.91は格好良くない fact4: もしそのぷなぷねLv.91が淡いということはないがしかしそれが毛深いならばこのもにょもえLv.0ははしたない fact5: 仮にこのもにょもえLv.0がはしたないかあるいは疑り深いかあるいは両方ともであるとしたら「免れ得るということはない」ということは正しい fact6: もしそのもにゅもわLv.54が免れ得ない一方ではしたないならこのもにょもえLv.0は免れ得る
fact2 -> int1: もしもそのぷなぷねLv.91が格好良くないとすればそのぷなぷねLv.91は淡くないがしかしそれは毛深い; int1 & fact3 -> int2: そのぷなぷねLv.91は淡くないけれどそれは毛深い; int2 & fact4 -> int3: このもにょもえLv.0ははしたない; int3 -> int4: このもにょもえLv.0ははしたないかまたはそれは疑り深いかあるいはどちらもだ; int4 & fact5 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact4 -> int3: {B}{a}; int3 -> int4: ({B}{a} v {C}{a}); int4 & fact5 -> hypothesis;
このもにょもえLv.0は免れ得る
$facts$ = fact1: このもにょもえLv.0が疑り深いならこのもにょもえLv.0は免れ得ない fact2: 格好良くないモンスターは淡くないけれど毛深い fact3: そのぷなぷねLv.91は格好良くない fact4: もしそのぷなぷねLv.91が淡いということはないがしかしそれが毛深いならばこのもにょもえLv.0ははしたない fact5: 仮にこのもにょもえLv.0がはしたないかあるいは疑り深いかあるいは両方ともであるとしたら「免れ得るということはない」ということは正しい fact6: もしそのもにゅもわLv.54が免れ得ない一方ではしたないならこのもにょもえLv.0は免れ得る ; $hypothesis$ = このもにょもえLv.0は免れ得る ; $proof$ = 
fact2 -> int1: もしもそのぷなぷねLv.91が格好良くないとすればそのぷなぷねLv.91は淡くないがしかしそれは毛深い; int1 & fact3 -> int2: そのぷなぷねLv.91は淡くないけれどそれは毛深い; int2 & fact4 -> int3: このもにょもえLv.0ははしたない; int3 -> int4: このもにょもえLv.0ははしたないかまたはそれは疑り深いかあるいはどちらもだ; int4 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact4 -> int3: {B}{a}; int3 -> int4: ({B}{a} v {C}{a}); int4 & fact5 -> hypothesis; __DISPROVED__