その二十五種類は輸入しない
fact1: 「その活字は腸管穿孔であるということはないけど恥ずかしい」ということは成り立たない fact2: このカーストは恥ずかしいということはない fact3: その活字は腸管穿孔でない fact4: その活字は髭伯父さんでない fact5: もし仮にその活字は腸管穿孔でないとしたら「その二十五種類は恥ずかしくないけれどそれは髭伯父さんだ」ということは成り立たない fact6: もしも「その二十五種類は髭伯父さんでないけど輸入する」ということは事実と異なるとするとそれは腸管穿孔だということはない fact7: 仮にある物は漆であるということはないとすると腸管穿孔でないかあるいは混在するということはないか両方ともである fact8: もし仮にその二十五種類は腸管穿孔でないとすると「その活字は髭伯父さんでないけどそれは輸入する」ということは本当でない fact9: もし「なんらかの物は恥ずかしいということはないが髭伯父さんだ」ということは偽だとすれば輸入しない fact10: もし仮にその二十五種類が恥ずかしいとすればそれは輸入しない fact11: 仮にとあるものが均さないとしたら漆でない fact12: もしも「その二十五種類は均すししかも分割相続だ」ということは嘘であるとしたら「均すということはない」ということは真実だ
fact5 & fact3 -> int1: 「その二十五種類は恥ずかしくないけれどそれは髭伯父さんである」ということは事実と異なる; fact9 -> int2: 仮に「その二十五種類は恥ずかしくないけれど髭伯父さんである」ということは成り立たないとしたら輸入しない; int1 & int2 -> hypothesis;
fact5 & fact3 -> int1: ¬(¬{AA}{b} & {AB}{b}); fact9 -> int2: ¬(¬{AA}{b} & {AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
その二十五種類は輸入する
fact15 -> int3: その二十五種類が漆でないとすれば腸管穿孔でないかあるいは混在しないかもしくは両方である; fact13 -> int4: もしも「その二十五種類は均すということはない」ということは事実だとしたらそれは漆でない;
$facts$ = fact1: 「その活字は腸管穿孔であるということはないけど恥ずかしい」ということは成り立たない fact2: このカーストは恥ずかしいということはない fact3: その活字は腸管穿孔でない fact4: その活字は髭伯父さんでない fact5: もし仮にその活字は腸管穿孔でないとしたら「その二十五種類は恥ずかしくないけれどそれは髭伯父さんだ」ということは成り立たない fact6: もしも「その二十五種類は髭伯父さんでないけど輸入する」ということは事実と異なるとするとそれは腸管穿孔だということはない fact7: 仮にある物は漆であるということはないとすると腸管穿孔でないかあるいは混在するということはないか両方ともである fact8: もし仮にその二十五種類は腸管穿孔でないとすると「その活字は髭伯父さんでないけどそれは輸入する」ということは本当でない fact9: もし「なんらかの物は恥ずかしいということはないが髭伯父さんだ」ということは偽だとすれば輸入しない fact10: もし仮にその二十五種類が恥ずかしいとすればそれは輸入しない fact11: 仮にとあるものが均さないとしたら漆でない fact12: もしも「その二十五種類は均すししかも分割相続だ」ということは嘘であるとしたら「均すということはない」ということは真実だ ; $hypothesis$ = その二十五種類は輸入しない ; $proof$ = 
fact5 & fact3 -> int1: 「その二十五種類は恥ずかしくないけれどそれは髭伯父さんである」ということは事実と異なる; fact9 -> int2: 仮に「その二十五種類は恥ずかしくないけれど髭伯父さんである」ということは成り立たないとしたら輸入しない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「その活字は腸管穿孔であるということはないけど恥ずかしい」ということは成り立たない
事実2: このカーストは恥ずかしいということはない
事実3: その活字は腸管穿孔でない
事実4: その活字は髭伯父さんでない
事実5: もし仮にその活字は腸管穿孔でないとしたら「その二十五種類は恥ずかしくないけれどそれは髭伯父さんだ」ということは成り立たない
事実6: もしも「その二十五種類は髭伯父さんでないけど輸入する」ということは事実と異なるとするとそれは腸管穿孔だということはない
事実7: 仮にある物は漆であるということはないとすると腸管穿孔でないかあるいは混在するということはないか両方ともである
事実8: もし仮にその二十五種類は腸管穿孔でないとすると「その活字は髭伯父さんでないけどそれは輸入する」ということは本当でない
事実9: もし「なんらかの物は恥ずかしいということはないが髭伯父さんだ」ということは偽だとすれば輸入しない
事実10: もし仮にその二十五種類が恥ずかしいとすればそれは輸入しない
事実11: 仮にとあるものが均さないとしたら漆でない
事実12: もしも「その二十五種類は均すししかも分割相続だ」ということは嘘であるとしたら「均すということはない」ということは真実だ

仮説: その二十五種類は輸入しない
1. 事実5と事実3から、推論1: "「その二十五種類は恥ずかしくないけれどそれは髭伯父さんである」ということは事実と異なる"が導かれる
2. 事実9から、推論2: "仮に「その二十五種類は恥ずかしくないけれど髭伯父さんである」ということは成り立たないとしたら輸入しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。