そのもえもちゃLv.10は考え出す
fact1: もし仮にこのぷちゅぷちゃLv.94はさもしくないとしたら「このぴちゅぴなLv.90は赤黒いということはないけれど見え易い」ということは成り立たない fact2: 「もしもあのぴのぴねLv.42はスポーツマンらしいとしたら「そのもえもちゃLv.10は考え出さない」ということは成り立たない」ということは成り立つ fact3: もし仮にこのぴちゅぴなLv.90が見え易くないとすると恵む fact4: もしもこのぴちゅぴなLv.90が恵めばあのぴのぴねLv.42は小難しい fact5: 「このぷちゅぷちゃLv.94はさもしくない」ということは成り立つ fact6: もし仮にあのぴのぴねLv.42が小難しいならあのぴのぴねLv.42はスポーツマンらしい fact7: もし「「このぴちゅぴなLv.90は赤黒くないけど見え易い」ということは成り立つ」ということは間違っているとすればこのぴちゅぴなLv.90は恵む
fact1 & fact5 -> int1: 「このぴちゅぴなLv.90は赤黒くない一方で見え易い」ということは成り立つということはない; int1 & fact7 -> int2: このぴちゅぴなLv.90は恵む; int2 & fact4 -> int3: あのぴのぴねLv.42は小難しい; int3 & fact6 -> int4: あのぴのぴねLv.42はスポーツマンらしい; int4 & fact2 -> hypothesis;
fact1 & fact5 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact7 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{c}; int3 & fact6 -> int4: {D}{c}; int4 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にこのぷちゅぷちゃLv.94はさもしくないとしたら「このぴちゅぴなLv.90は赤黒いということはないけれど見え易い」ということは成り立たない fact2: 「もしもあのぴのぴねLv.42はスポーツマンらしいとしたら「そのもえもちゃLv.10は考え出さない」ということは成り立たない」ということは成り立つ fact3: もし仮にこのぴちゅぴなLv.90が見え易くないとすると恵む fact4: もしもこのぴちゅぴなLv.90が恵めばあのぴのぴねLv.42は小難しい fact5: 「このぷちゅぷちゃLv.94はさもしくない」ということは成り立つ fact6: もし仮にあのぴのぴねLv.42が小難しいならあのぴのぴねLv.42はスポーツマンらしい fact7: もし「「このぴちゅぴなLv.90は赤黒くないけど見え易い」ということは成り立つ」ということは間違っているとすればこのぴちゅぴなLv.90は恵む ; $hypothesis$ = そのもえもちゃLv.10は考え出す ; $proof$ = 
fact1 & fact5 -> int1: 「このぴちゅぴなLv.90は赤黒くない一方で見え易い」ということは成り立つということはない; int1 & fact7 -> int2: このぴちゅぴなLv.90は恵む; int2 & fact4 -> int3: あのぴのぴねLv.42は小難しい; int3 & fact6 -> int4: あのぴのぴねLv.42はスポーツマンらしい; int4 & fact2 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact7 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{c}; int3 & fact6 -> int4: {D}{c}; int4 & fact2 -> hypothesis; __PROVED__