「「そのぽのぽのLv.74は柔い」ということは事実である」ということは成り立たない
fact1: 仮にあのぷちゃぷくLv.42が生え易くないかまたは姉らしくないかあるいはどちらもだとしたら自然らしくない fact2: もしもなにがしかのモンスターが接見するとしたらそれは柔い fact3: もし仮にあのぷちゃぷくLv.42が生え易くないとすれば自然らしいということはない fact4: あのぷちゃぷくLv.42は生え易いかもしくはそれは姉らしくない fact5: 仮になんらかのモンスターが接見しないなら生え易くないか姉らしくないか両方である fact6: あのぷちゃぷくLv.42が自然らしくないならそのぽのぽのLv.74は自然らしいけれど運用出来ない fact7: もし仮にそのぽのぽのLv.74が自然らしいけどそれが運用出来ないならばそのぽのぽのLv.74は柔くない fact8: あのぷちゃぷくLv.42は接見するということはない
fact5 -> int1: もしもあのぷちゃぷくLv.42が接見しないとすればそれは生え易くないかまたは姉らしいということはないかあるいはどちらもだ; int1 & fact8 -> int2: あのぷちゃぷくLv.42は生え易くないかまたはそれは姉らしくないかあるいはどちらもだ; int2 & fact1 -> int3: あのぷちゃぷくLv.42は自然らしくない; int3 & fact6 -> int4: そのぽのぽのLv.74は自然らしいけれど運用出来ない; int4 & fact7 -> hypothesis;
fact5 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 & fact8 -> int2: (¬{AA}{aa} v ¬{AB}{aa}); int2 & fact1 -> int3: ¬{B}{aa}; int3 & fact6 -> int4: ({B}{a} & ¬{C}{a}); int4 & fact7 -> hypothesis;
そのぽのぽのLv.74は柔い
fact9 -> int5: もしもそのぽのぽのLv.74が接見するとすれば柔い;
$facts$ = fact1: 仮にあのぷちゃぷくLv.42が生え易くないかまたは姉らしくないかあるいはどちらもだとしたら自然らしくない fact2: もしもなにがしかのモンスターが接見するとしたらそれは柔い fact3: もし仮にあのぷちゃぷくLv.42が生え易くないとすれば自然らしいということはない fact4: あのぷちゃぷくLv.42は生え易いかもしくはそれは姉らしくない fact5: 仮になんらかのモンスターが接見しないなら生え易くないか姉らしくないか両方である fact6: あのぷちゃぷくLv.42が自然らしくないならそのぽのぽのLv.74は自然らしいけれど運用出来ない fact7: もし仮にそのぽのぽのLv.74が自然らしいけどそれが運用出来ないならばそのぽのぽのLv.74は柔くない fact8: あのぷちゃぷくLv.42は接見するということはない ; $hypothesis$ = 「「そのぽのぽのLv.74は柔い」ということは事実である」ということは成り立たない ; $proof$ = 
fact5 -> int1: もしもあのぷちゃぷくLv.42が接見しないとすればそれは生え易くないかまたは姉らしいということはないかあるいはどちらもだ; int1 & fact8 -> int2: あのぷちゃぷくLv.42は生え易くないかまたはそれは姉らしくないかあるいはどちらもだ; int2 & fact1 -> int3: あのぷちゃぷくLv.42は自然らしくない; int3 & fact6 -> int4: そのぽのぽのLv.74は自然らしいけれど運用出来ない; int4 & fact7 -> hypothesis; __PROVED__
fact5 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 & fact8 -> int2: (¬{AA}{aa} v ¬{AB}{aa}); int2 & fact1 -> int3: ¬{B}{aa}; int3 & fact6 -> int4: ({B}{a} & ¬{C}{a}); int4 & fact7 -> hypothesis; __PROVED__