その新社は仰す
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: 「あの八十七Ｘは受け辛くない一方で挿画である」ということは成り立たない
void -> assump1: 以下のように仮定する。あの八十七Ｘは挿画でないがしかし核戦争後である; fact15 & assump1 -> int1: あの八十七Ｘは事業リスクである; int1 & fact19 -> int2: この夜景データは受け辛い; fact18 & fact2 -> int3: 「この棒鑢は格好悪くないがしかし受け辛い」ということは成り立たない; int3 & fact16 -> int4: この夜景データは受け辛くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの八十七Ｘは挿画でないがしかし核戦争後である」ということは成り立たない; int6 -> int7: 「「挿画でない一方で核戦争後だ」ということは成り立つということはない」物はある; int7 & fact25 -> int8: 「あの隣人は大人しということはない」ということは正しい; int8 & fact4 -> int9: その新社は仰すということはないけれど大人し; int9 -> hypothesis;
その新社は仰す
fact29 -> int10: 仮にあの隣人は引き立つとすると「それは事業リスクでないが大人し」ということは事実でない; fact32 -> int11: この棒鑢が格好悪いなら引き立つ; fact35 -> int12: もしこの棒鑢は着底期でないとしたら「手痛いけれど格好悪くない」ということは偽だ;
$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: 「あの八十七Ｘは受け辛くない一方で挿画である」ということは成り立たない ; $hypothesis$ = その新社は仰す ; $proof$ = 
void -> assump1: 以下のように仮定する。あの八十七Ｘは挿画でないがしかし核戦争後である; fact15 & assump1 -> int1: あの八十七Ｘは事業リスクである; int1 & fact19 -> int2: この夜景データは受け辛い; fact18 & fact2 -> int3: 「この棒鑢は格好悪くないがしかし受け辛い」ということは成り立たない; int3 & fact16 -> int4: この夜景データは受け辛くない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの八十七Ｘは挿画でないがしかし核戦争後である」ということは成り立たない; int6 -> int7: 「「挿画でない一方で核戦争後だ」ということは成り立つということはない」物はある; int7 & fact25 -> int8: 「あの隣人は大人しということはない」ということは正しい; int8 & fact4 -> int9: その新社は仰すということはないけれど大人し; int9 -> hypothesis; __DISPROVED__
事実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: 「あの八十七Ｘは受け辛くない一方で挿画である」ということは成り立たない

仮説: その新社は仰す
1. 仮定1: 以下のように仮定する。あの八十七Ｘは挿画でないがしかし核戦争後である
2. 事実15と仮定1から、推論1: "あの八十七Ｘは事業リスクである"が導かれる
3. 推論1と事実19から、推論2: "この夜景データは受け辛い"が導かれる
4. 事実18と事実2から、推論3: "「この棒鑢は格好悪くないがしかし受け辛い」ということは成り立たない"が導かれる
5. 推論3と事実16から、推論4: "この夜景データは受け辛くない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの八十七Ｘは挿画でないがしかし核戦争後である」ということは成り立たない"が導かれる
8. 推論6から、推論7: "「「挿画でない一方で核戦争後だ」ということは成り立つということはない」物はある"が導かれる
9. 推論7と事実25から、推論8: "「あの隣人は大人しということはない」ということは正しい"が導かれる
10. 推論8と事実4から、推論9: "その新社は仰すということはないけれど大人し"が導かれる
11. 推論9から、仮説が否定される

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