この吊り橋は領収しない
fact1: もし仮にあの小集団活動が過不足無くないとするとその五対は序説であるし白熱化する fact2: 「五月であるが乾燥し切らない」ものはある fact3: 「「五月であるがしかし乾燥し切らない」ということは誤りである」ものはある fact4: その審理判断は分離署名でない fact5: もしその五対が分解され難いということはないとすればこの吊り橋は領収しないけれどそれは峡谷だ fact6: もし仮にこの吊り橋が峡谷でないとしたらその五対は領収しないがしかし分解され難い fact7: 「「領収するし分解され難くない」ということは間違っている」物があるとしたらこの吊り橋は峡谷であるということはない fact8: そのプラムは分解され難い fact9: 「「分解され難いが領収しない」ということは誤りな」物はある fact10: もし「「五月で加えて乾燥し切らない」ということは成り立たない」物はあるとしたら「その五対は峡谷であるということはない」ということは成り立つ fact11: あの清元は分解され難いということはない fact12: もしもその五対が峡谷でないならばこの吊り橋は分解され難くないけれど領収する fact13: その五対は書き上がらないが貴方らしい fact14: その五対は五月である
fact3 & fact10 -> int1: その五対は峡谷でない; int1 & fact12 -> int2: 「この吊り橋は分解され難いということはないけど領収する」ということは成り立つ; int2 -> hypothesis;
fact3 & fact10 -> int1: ¬{A}{a}; int1 & fact12 -> int2: (¬{B}{b} & {C}{b}); int2 -> hypothesis;
この吊り橋は領収するということはない
$facts$ = fact1: もし仮にあの小集団活動が過不足無くないとするとその五対は序説であるし白熱化する fact2: 「五月であるが乾燥し切らない」ものはある fact3: 「「五月であるがしかし乾燥し切らない」ということは誤りである」ものはある fact4: その審理判断は分離署名でない fact5: もしその五対が分解され難いということはないとすればこの吊り橋は領収しないけれどそれは峡谷だ fact6: もし仮にこの吊り橋が峡谷でないとしたらその五対は領収しないがしかし分解され難い fact7: 「「領収するし分解され難くない」ということは間違っている」物があるとしたらこの吊り橋は峡谷であるということはない fact8: そのプラムは分解され難い fact9: 「「分解され難いが領収しない」ということは誤りな」物はある fact10: もし「「五月で加えて乾燥し切らない」ということは成り立たない」物はあるとしたら「その五対は峡谷であるということはない」ということは成り立つ fact11: あの清元は分解され難いということはない fact12: もしもその五対が峡谷でないならばこの吊り橋は分解され難くないけれど領収する fact13: その五対は書き上がらないが貴方らしい fact14: その五対は五月である ; $hypothesis$ = この吊り橋は領収しない ; $proof$ = 
fact3 & fact10 -> int1: その五対は峡谷でない; int1 & fact12 -> int2: 「この吊り橋は分解され難いということはないけど領収する」ということは成り立つ; int2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの小集団活動が過不足無くないとするとその五対は序説であるし白熱化する
事実2: 「五月であるが乾燥し切らない」ものはある
事実3: 「「五月であるがしかし乾燥し切らない」ということは誤りである」ものはある
事実4: その審理判断は分離署名でない
事実5: もしその五対が分解され難いということはないとすればこの吊り橋は領収しないけれどそれは峡谷だ
事実6: もし仮にこの吊り橋が峡谷でないとしたらその五対は領収しないがしかし分解され難い
事実7: 「「領収するし分解され難くない」ということは間違っている」物があるとしたらこの吊り橋は峡谷であるということはない
事実8: そのプラムは分解され難い
事実9: 「「分解され難いが領収しない」ということは誤りな」物はある
事実10: もし「「五月で加えて乾燥し切らない」ということは成り立たない」物はあるとしたら「その五対は峡谷であるということはない」ということは成り立つ
事実11: あの清元は分解され難いということはない
事実12: もしもその五対が峡谷でないならばこの吊り橋は分解され難くないけれど領収する
事実13: その五対は書き上がらないが貴方らしい
事実14: その五対は五月である

仮説: この吊り橋は領収しない
1. 事実3と事実10から、推論1: "その五対は峡谷でない"が導かれる
2. 推論1と事実12から、推論2: "「この吊り橋は分解され難いということはないけど領収する」ということは成り立つ"が導かれる
3. 推論2から、仮説が否定される

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