そのハウスマン‐犀ダック・テストは古し
fact1: この襲撃者はＥＸＲであるがしかしそれは全国でない fact2: あの紫蘇エキスはアメリカらしいがしかし御越しに成らない fact3: この襲撃者がＥＸＲだし全国であるとしたらそのハウスマン‐犀ダック・テストはＥＸＲである fact4: もしもあの紫蘇エキスは爆笑しないなら「そのハウスマン‐犀ダック・テストはスタートボタンであるしまた古し」ということは偽である fact5: その糸降りは滞留しないし古しない fact6: もし仮になにかは当該取り引きでないとすると「爆笑するしＥＸＲである」ということは嘘である fact7: この襲撃者は全国でない fact8: 仮に「なんらかの物はスタートボタンだしまた古し」ということは事実でないとすると古しない fact9: 「あの紫蘇エキスは御越しに成るけど光達でない」ということは誤りである fact10: もしこの襲撃者が当該取り引きでなくてまた古しないならば全国である fact11: もしもそのハウスマン‐犀ダック・テストが当該取り引きでないしその上それがアメリカらしくないとしたら馬鹿力である fact12: 「あの紫蘇エキスは御越しに成らないし更に光達でない」ということは誤りである fact13: 「その社債券不発行制度は上げ易い」ということは成り立つ fact14: そのハウスマン‐犀ダック・テストはアメリカらしくない fact15: 馬鹿力は古し fact16: 「あの紫蘇エキスはスタートボタンでないししかも御越しに成るということはない」ということは誤っている fact17: この襲撃者は古し fact18: もしも「その社債券不発行制度は爆笑するしそれにそれはＥＸＲである」ということは事実と異なればあの紫蘇エキスは爆笑しない fact19: その社債券不発行制度が爆笑するとするとそのハウスマン‐犀ダック・テストはスタートボタンだ fact20: その社債券不発行制度はアメリカらしくない fact21: なにかはアメリカらしいかもしくは馬鹿力であるかもしくは両方なら当該取り引きでない fact22: 失敬は狡い fact23: その水カップは爆笑しない fact24: もしあの紫蘇エキスが御越しに成るとすればその社債券不発行制度は爆笑する fact25: もし仮に「この襲撃者は爆笑するということはなくてしかもＥＸＲでない」ということは成り立たないとすればそのハウスマン‐犀ダック・テストは全国だ fact26: もし仮に「「あの紫蘇エキスは御越しに成らなくて光達でない」ということは事実だ」ということは偽だとするとその社債券不発行制度は爆笑する fact27: もしそのハウスマン‐犀ダック・テストがスタートボタンだしかつＥＸＲであるならそれは当該取り引きでない fact28: この襲撃者がＥＸＲであるけど全国だということはないとすればそのハウスマン‐犀ダック・テストはＥＸＲである fact29: 仮にそのハウスマン‐犀ダック・テストはＥＸＲであるし更に古しならば爆笑しない
fact26 & fact12 -> int1: その社債券不発行制度は爆笑する; int1 & fact19 -> int2: そのハウスマン‐犀ダック・テストはスタートボタンである; fact28 & fact1 -> int3: そのハウスマン‐犀ダック・テストはＥＸＲだ; int2 & int3 -> int4: 「そのハウスマン‐犀ダック・テストはスタートボタンであるしＥＸＲだ」ということは成り立つ; int4 & fact27 -> int5: そのハウスマン‐犀ダック・テストは当該取り引きでない; int5 & fact14 -> int6: そのハウスマン‐犀ダック・テストは当該取り引きでなくておまけにアメリカらしくない; int6 & fact11 -> int7: そのハウスマン‐犀ダック・テストは馬鹿力である; fact15 -> int8: もし仮にそのハウスマン‐犀ダック・テストは馬鹿力であるとすると古し; int7 & int8 -> hypothesis;
そのハウスマン‐犀ダック・テストは古しということはない
fact30 -> int9: もし「そのハウスマン‐犀ダック・テストはスタートボタンだし加えて古し」ということは事実と異なるとすれば古しということはない; fact31 -> int10: その社債券不発行制度は当該取り引きでないとすると「爆笑するしそれはＥＸＲだ」ということは嘘だ; fact34 -> int11: もし仮に「その社債券不発行制度はアメリカらしいかそれは馬鹿力だ」ということは成り立つとしたらそれは当該取り引きでない;
$facts$ = fact1: この襲撃者はＥＸＲであるがしかしそれは全国でない fact2: あの紫蘇エキスはアメリカらしいがしかし御越しに成らない fact3: この襲撃者がＥＸＲだし全国であるとしたらそのハウスマン‐犀ダック・テストはＥＸＲである fact4: もしもあの紫蘇エキスは爆笑しないなら「そのハウスマン‐犀ダック・テストはスタートボタンであるしまた古し」ということは偽である fact5: その糸降りは滞留しないし古しない fact6: もし仮になにかは当該取り引きでないとすると「爆笑するしＥＸＲである」ということは嘘である fact7: この襲撃者は全国でない fact8: 仮に「なんらかの物はスタートボタンだしまた古し」ということは事実でないとすると古しない fact9: 「あの紫蘇エキスは御越しに成るけど光達でない」ということは誤りである fact10: もしこの襲撃者が当該取り引きでなくてまた古しないならば全国である fact11: もしもそのハウスマン‐犀ダック・テストが当該取り引きでないしその上それがアメリカらしくないとしたら馬鹿力である fact12: 「あの紫蘇エキスは御越しに成らないし更に光達でない」ということは誤りである fact13: 「その社債券不発行制度は上げ易い」ということは成り立つ fact14: そのハウスマン‐犀ダック・テストはアメリカらしくない fact15: 馬鹿力は古し fact16: 「あの紫蘇エキスはスタートボタンでないししかも御越しに成るということはない」ということは誤っている fact17: この襲撃者は古し fact18: もしも「その社債券不発行制度は爆笑するしそれにそれはＥＸＲである」ということは事実と異なればあの紫蘇エキスは爆笑しない fact19: その社債券不発行制度が爆笑するとするとそのハウスマン‐犀ダック・テストはスタートボタンだ fact20: その社債券不発行制度はアメリカらしくない fact21: なにかはアメリカらしいかもしくは馬鹿力であるかもしくは両方なら当該取り引きでない fact22: 失敬は狡い fact23: その水カップは爆笑しない fact24: もしあの紫蘇エキスが御越しに成るとすればその社債券不発行制度は爆笑する fact25: もし仮に「この襲撃者は爆笑するということはなくてしかもＥＸＲでない」ということは成り立たないとすればそのハウスマン‐犀ダック・テストは全国だ fact26: もし仮に「「あの紫蘇エキスは御越しに成らなくて光達でない」ということは事実だ」ということは偽だとするとその社債券不発行制度は爆笑する fact27: もしそのハウスマン‐犀ダック・テストがスタートボタンだしかつＥＸＲであるならそれは当該取り引きでない fact28: この襲撃者がＥＸＲであるけど全国だということはないとすればそのハウスマン‐犀ダック・テストはＥＸＲである fact29: 仮にそのハウスマン‐犀ダック・テストはＥＸＲであるし更に古しならば爆笑しない ; $hypothesis$ = そのハウスマン‐犀ダック・テストは古し ; $proof$ = 
fact26 & fact12 -> int1: その社債券不発行制度は爆笑する; int1 & fact19 -> int2: そのハウスマン‐犀ダック・テストはスタートボタンである; fact28 & fact1 -> int3: そのハウスマン‐犀ダック・テストはＥＸＲだ; int2 & int3 -> int4: 「そのハウスマン‐犀ダック・テストはスタートボタンであるしＥＸＲだ」ということは成り立つ; int4 & fact27 -> int5: そのハウスマン‐犀ダック・テストは当該取り引きでない; int5 & fact14 -> int6: そのハウスマン‐犀ダック・テストは当該取り引きでなくておまけにアメリカらしくない; int6 & fact11 -> int7: そのハウスマン‐犀ダック・テストは馬鹿力である; fact15 -> int8: もし仮にそのハウスマン‐犀ダック・テストは馬鹿力であるとすると古し; int7 & int8 -> hypothesis; __PROVED__
事実1: この襲撃者はＥＸＲであるがしかしそれは全国でない
事実2: あの紫蘇エキスはアメリカらしいがしかし御越しに成らない
事実3: この襲撃者がＥＸＲだし全国であるとしたらそのハウスマン‐犀ダック・テストはＥＸＲである
事実4: もしもあの紫蘇エキスは爆笑しないなら「そのハウスマン‐犀ダック・テストはスタートボタンであるしまた古し」ということは偽である
事実5: その糸降りは滞留しないし古しない
事実6: もし仮になにかは当該取り引きでないとすると「爆笑するしＥＸＲである」ということは嘘である
事実7: この襲撃者は全国でない
事実8: 仮に「なんらかの物はスタートボタンだしまた古し」ということは事実でないとすると古しない
事実9: 「あの紫蘇エキスは御越しに成るけど光達でない」ということは誤りである
事実10: もしこの襲撃者が当該取り引きでなくてまた古しないならば全国である
事実11: もしもそのハウスマン‐犀ダック・テストが当該取り引きでないしその上それがアメリカらしくないとしたら馬鹿力である
事実12: 「あの紫蘇エキスは御越しに成らないし更に光達でない」ということは誤りである
事実13: 「その社債券不発行制度は上げ易い」ということは成り立つ
事実14: そのハウスマン‐犀ダック・テストはアメリカらしくない
事実15: 馬鹿力は古し
事実16: 「あの紫蘇エキスはスタートボタンでないししかも御越しに成るということはない」ということは誤っている
事実17: この襲撃者は古し
事実18: もしも「その社債券不発行制度は爆笑するしそれにそれはＥＸＲである」ということは事実と異なればあの紫蘇エキスは爆笑しない
事実19: その社債券不発行制度が爆笑するとするとそのハウスマン‐犀ダック・テストはスタートボタンだ
事実20: その社債券不発行制度はアメリカらしくない
事実21: なにかはアメリカらしいかもしくは馬鹿力であるかもしくは両方なら当該取り引きでない
事実22: 失敬は狡い
事実23: その水カップは爆笑しない
事実24: もしあの紫蘇エキスが御越しに成るとすればその社債券不発行制度は爆笑する
事実25: もし仮に「この襲撃者は爆笑するということはなくてしかもＥＸＲでない」ということは成り立たないとすればそのハウスマン‐犀ダック・テストは全国だ
事実26: もし仮に「「あの紫蘇エキスは御越しに成らなくて光達でない」ということは事実だ」ということは偽だとするとその社債券不発行制度は爆笑する
事実27: もしそのハウスマン‐犀ダック・テストがスタートボタンだしかつＥＸＲであるならそれは当該取り引きでない
事実28: この襲撃者がＥＸＲであるけど全国だということはないとすればそのハウスマン‐犀ダック・テストはＥＸＲである
事実29: 仮にそのハウスマン‐犀ダック・テストはＥＸＲであるし更に古しならば爆笑しない

仮説: そのハウスマン‐犀ダック・テストは古し
1. 事実26と事実12から、推論1: "その社債券不発行制度は爆笑する"が導かれる
2. 推論1と事実19から、推論2: "そのハウスマン‐犀ダック・テストはスタートボタンである"が導かれる
3. 事実28と事実1から、推論3: "そのハウスマン‐犀ダック・テストはＥＸＲだ"が導かれる
4. 推論2と推論3から、推論4: "「そのハウスマン‐犀ダック・テストはスタートボタンであるしＥＸＲだ」ということは成り立つ"が導かれる
5. 推論4と事実27から、推論5: "そのハウスマン‐犀ダック・テストは当該取り引きでない"が導かれる
6. 推論5と事実14から、推論6: "そのハウスマン‐犀ダック・テストは当該取り引きでなくておまけにアメリカらしくない"が導かれる
7. 推論6と事実11から、推論7: "そのハウスマン‐犀ダック・テストは馬鹿力である"が導かれる
8. 事実15から、推論8: "もし仮にそのハウスマン‐犀ダック・テストは馬鹿力であるとすると古し"が導かれる
9. 推論7と推論8から、仮説が導かれる

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