このブランは類義語でない
fact1: もし仮に「「加算する」ということは間違いでない」ものはあれば「このブランは断り難い」ということは成り立つ fact2: もし「集まる」物があればこのブランは多い fact3: もし仮にこのブランは実効利子率であるかもしくは集まらないとすると多いということはない fact4: もし仮に多くないものが断り難いとすればそれは類義語だ fact5: このブランは実効利子率であるかあるいは集まるかあるいは両方である fact6: このブランは負んぶする fact7: あるものは加算する fact8: 仮に「「エゴイズムな」物はある」ということは成り立つとするとこのブランは類義語である fact9: もし仮にこのブランは集まらないなら「多くない」ということは正しい fact10: 仮に多くない物は類義語であるとすれば実効利子率である fact11: このブランは教室環境である fact12: あのギリシヤ語は酔っ払うかあるいは実効利子率でないか両方だ fact13: もし仮にこのブランは実効利子率であるか八人分でないならロービジ塗装機でない fact14: このアスピックは断り難い fact15: もし仮にとある物が類義語でないけどそれが集まるとすると断り難い fact16: このブランは細型銅剣だ fact17: もし仮にこのブランが二言目であるかまたはそれがたっぷりするということはないとすればそれは挙らない fact18: このブランが萌芽するかそれは類義語でないとすると「それは印刷時でない」ということは本当である fact19: 「このブランは加算するかもしくは生み難いということはないかもしくはどちらもである」ということは成り立つ fact20: このブランは実効利子率であるか集まるということはない
fact3 & fact20 -> int1: このブランは多くない; fact1 & fact7 -> int2: このブランは断り難い; int1 & int2 -> int3: このブランは多くないがしかし断り難い; fact4 -> int4: もし仮に「このブランは多くないがそれは断り難い」ということは成り立つならそれは類義語である; int3 & int4 -> hypothesis;
fact3 & fact20 -> int1: ¬{B}{a}; fact1 & fact7 -> int2: {A}{a}; int1 & int2 -> int3: (¬{B}{a} & {A}{a}); fact4 -> int4: (¬{B}{a} & {A}{a}) -> {C}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: もし仮に「「加算する」ということは間違いでない」ものはあれば「このブランは断り難い」ということは成り立つ fact2: もし「集まる」物があればこのブランは多い fact3: もし仮にこのブランは実効利子率であるかもしくは集まらないとすると多いということはない fact4: もし仮に多くないものが断り難いとすればそれは類義語だ fact5: このブランは実効利子率であるかあるいは集まるかあるいは両方である fact6: このブランは負んぶする fact7: あるものは加算する fact8: 仮に「「エゴイズムな」物はある」ということは成り立つとするとこのブランは類義語である fact9: もし仮にこのブランは集まらないなら「多くない」ということは正しい fact10: 仮に多くない物は類義語であるとすれば実効利子率である fact11: このブランは教室環境である fact12: あのギリシヤ語は酔っ払うかあるいは実効利子率でないか両方だ fact13: もし仮にこのブランは実効利子率であるか八人分でないならロービジ塗装機でない fact14: このアスピックは断り難い fact15: もし仮にとある物が類義語でないけどそれが集まるとすると断り難い fact16: このブランは細型銅剣だ fact17: もし仮にこのブランが二言目であるかまたはそれがたっぷりするということはないとすればそれは挙らない fact18: このブランが萌芽するかそれは類義語でないとすると「それは印刷時でない」ということは本当である fact19: 「このブランは加算するかもしくは生み難いということはないかもしくはどちらもである」ということは成り立つ fact20: このブランは実効利子率であるか集まるということはない ; $hypothesis$ = このブランは類義語でない ; $proof$ = 
fact3 & fact20 -> int1: このブランは多くない; fact1 & fact7 -> int2: このブランは断り難い; int1 & int2 -> int3: このブランは多くないがしかし断り難い; fact4 -> int4: もし仮に「このブランは多くないがそれは断り難い」ということは成り立つならそれは類義語である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「「加算する」ということは間違いでない」ものはあれば「このブランは断り難い」ということは成り立つ
事実2: もし「集まる」物があればこのブランは多い
事実3: もし仮にこのブランは実効利子率であるかもしくは集まらないとすると多いということはない
事実4: もし仮に多くないものが断り難いとすればそれは類義語だ
事実5: このブランは実効利子率であるかあるいは集まるかあるいは両方である
事実6: このブランは負んぶする
事実7: あるものは加算する
事実8: 仮に「「エゴイズムな」物はある」ということは成り立つとするとこのブランは類義語である
事実9: もし仮にこのブランは集まらないなら「多くない」ということは正しい
事実10: 仮に多くない物は類義語であるとすれば実効利子率である
事実11: このブランは教室環境である
事実12: あのギリシヤ語は酔っ払うかあるいは実効利子率でないか両方だ
事実13: もし仮にこのブランは実効利子率であるか八人分でないならロービジ塗装機でない
事実14: このアスピックは断り難い
事実15: もし仮にとある物が類義語でないけどそれが集まるとすると断り難い
事実16: このブランは細型銅剣だ
事実17: もし仮にこのブランが二言目であるかまたはそれがたっぷりするということはないとすればそれは挙らない
事実18: このブランが萌芽するかそれは類義語でないとすると「それは印刷時でない」ということは本当である
事実19: 「このブランは加算するかもしくは生み難いということはないかもしくはどちらもである」ということは成り立つ
事実20: このブランは実効利子率であるか集まるということはない

仮説: このブランは類義語でない
1. 事実3と事実20から、推論1: "このブランは多くない"が導かれる
2. 事実1と事実7から、推論2: "このブランは断り難い"が導かれる
3. 推論1と推論2から、推論3: "このブランは多くないがしかし断り難い"が導かれる
4. 事実4から、推論4: "もし仮に「このブランは多くないがそれは断り難い」ということは成り立つならそれは類義語である"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。