「この諸規則が喘ぐとしたらこの諸規則は青いということはないしさらに偏らない」ということは成り立つということはない
fact1: もしなんらかの物は発行日でないならば青くない fact2: もしもその仕甲斐は復号化でないならば「喘ぐということはないしさらに漕ぎ着けない」ということは偽だ fact3: この諸規則は青くないけれど偏る fact4: 仮にとある物が灯し難くないなら十五六人だ fact5: もし「「喘ぐということはないしおまけに漕ぎ着けない」ということは成り立たない」ものはあるとしたら「この諸規則は偏る」ということは成り立つ fact6: 仮にその大受けが十五六人ならそのアボカドはフラボノイド類だ fact7: 仮にこの諸規則は発行日でないとしたらそれは青くない fact8: 仮に「なにがしかの物は不遇でないしさらに赤しない」ということは成り立たないとするとそれは灯し難くない fact9: もし「あるものは申し訳無くないしホルモン作用でない」ということは誤りであるとするとそれは男性向けでない fact10: もしあの肺気腫患者が代打でないならその大受けは関係深くて加えて眩しい fact11: もし何かは眩しいとしたら「それは不遇でなくて赤しない」ということは誤りである fact12: この諸規則は夥しくない fact13: もしこの諸規則が一坪半ならばそれは喘ぐということはない fact14: フラボノイド類は復号化である fact15: そのアボカドが復号化であるとしたらその仕甲斐は復号化でない fact16: もしなにがしかの物が偏るならそれは名状し難いということはなくてかつ青くない fact17: もしもとあるものは発行日でないならそれは青くないしそれに偏らない fact18: 仮に「なんらかの物は発行日でないし一坪半だということはない」ということは嘘ならば喘がない fact19: 仮に「とあるものは脂っこくないけど代打である」ということは間違いだとしたら代打でない fact20: 「あの肺気腫患者は脂っこくないけど代打である」ということは成り立たない
fact18 -> int1: 仮に「この諸規則は発行日でなくてそれは一坪半でない」ということは本当でないとしたらそれは喘がない; void -> assump1: 以下のように仮定する。「この諸規則は発行日でないし加えて一坪半でない」ということは間違っている; int1 & assump1 -> int2: この諸規則は喘がない; void -> assump2: 以下のように仮定する。この諸規則は喘ぐ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この諸規則は発行日でなくて一坪半でない; int4 -> int5: この諸規則は発行日であるということはない; fact17 -> int6: 仮に「この諸規則は発行日でない」ということは正しいならば青くないしその上偏らない; int5 & int6 -> int7: この諸規則は青くないし偏らない; [assump2] & int7 -> hypothesis;
この諸規則は名状し難くないし青いということはない
fact22 -> int8: もしもこの諸規則が偏ればそれは名状し難くないしさらにそれは青くない; fact30 -> int9: もし仮に「そのアボカドはフラボノイド類だ」ということは成り立つとするとそれは復号化だ; fact29 -> int10: 仮にその大受けが灯し難いということはないとすれば十五六人だ; fact31 -> int11: もし仮に「その大受けは不遇であるということはないし更に赤しない」ということは事実と異なるならそれは灯し難いということはない; fact26 -> int12: 仮にその大受けは眩しいなら「それは不遇でないしさらに赤しということはない」ということは偽だ; fact25 -> int13: もし「あの肺気腫患者は脂っこくないがしかし代打である」ということは成り立たないとしたら代打であるということはない; int13 & fact28 -> int14: あの肺気腫患者は代打でない; fact23 & int14 -> int15: その大受けは関係深いし加えて眩しい; int15 -> int16: 「その大受けは眩しい」ということは真実だ; int12 & int16 -> int17: 「その大受けは不遇だということはないしおまけに赤しということはない」ということは成り立たない; int11 & int17 -> int18: その大受けは灯し難いということはない; int10 & int18 -> int19: その大受けは十五六人だ; fact27 & int19 -> int20: そのアボカドはフラボノイド類である; int9 & int20 -> int21: そのアボカドは復号化だ; fact24 & int21 -> int22: その仕甲斐は復号化でない; fact32 & int22 -> int23: 「その仕甲斐は喘がないししかも漕ぎ着けない」ということは嘘だ; int23 -> int24: 「「喘ぐということはないし漕ぎ着けない」ということは嘘な」物はある; int24 & fact21 -> int25: この諸規則は偏る; int8 & int25 -> hypothesis;
$facts$ = fact1: もしなんらかの物は発行日でないならば青くない fact2: もしもその仕甲斐は復号化でないならば「喘ぐということはないしさらに漕ぎ着けない」ということは偽だ fact3: この諸規則は青くないけれど偏る fact4: 仮にとある物が灯し難くないなら十五六人だ fact5: もし「「喘ぐということはないしおまけに漕ぎ着けない」ということは成り立たない」ものはあるとしたら「この諸規則は偏る」ということは成り立つ fact6: 仮にその大受けが十五六人ならそのアボカドはフラボノイド類だ fact7: 仮にこの諸規則は発行日でないとしたらそれは青くない fact8: 仮に「なにがしかの物は不遇でないしさらに赤しない」ということは成り立たないとするとそれは灯し難くない fact9: もし「あるものは申し訳無くないしホルモン作用でない」ということは誤りであるとするとそれは男性向けでない fact10: もしあの肺気腫患者が代打でないならその大受けは関係深くて加えて眩しい fact11: もし何かは眩しいとしたら「それは不遇でなくて赤しない」ということは誤りである fact12: この諸規則は夥しくない fact13: もしこの諸規則が一坪半ならばそれは喘ぐということはない fact14: フラボノイド類は復号化である fact15: そのアボカドが復号化であるとしたらその仕甲斐は復号化でない fact16: もしなにがしかの物が偏るならそれは名状し難いということはなくてかつ青くない fact17: もしもとあるものは発行日でないならそれは青くないしそれに偏らない fact18: 仮に「なんらかの物は発行日でないし一坪半だということはない」ということは嘘ならば喘がない fact19: 仮に「とあるものは脂っこくないけど代打である」ということは間違いだとしたら代打でない fact20: 「あの肺気腫患者は脂っこくないけど代打である」ということは成り立たない ; $hypothesis$ = 「この諸規則が喘ぐとしたらこの諸規則は青いということはないしさらに偏らない」ということは成り立つということはない ; $proof$ = 
fact18 -> int1: 仮に「この諸規則は発行日でなくてそれは一坪半でない」ということは本当でないとしたらそれは喘がない; void -> assump1: 以下のように仮定する。「この諸規則は発行日でないし加えて一坪半でない」ということは間違っている; int1 & assump1 -> int2: この諸規則は喘がない; void -> assump2: 以下のように仮定する。この諸規則は喘ぐ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この諸規則は発行日でなくて一坪半でない; int4 -> int5: この諸規則は発行日であるということはない; fact17 -> int6: 仮に「この諸規則は発行日でない」ということは正しいならば青くないしその上偏らない; int5 & int6 -> int7: この諸規則は青くないし偏らない; [assump2] & int7 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物は発行日でないならば青くない
事実2: もしもその仕甲斐は復号化でないならば「喘ぐということはないしさらに漕ぎ着けない」ということは偽だ
事実3: この諸規則は青くないけれど偏る
事実4: 仮にとある物が灯し難くないなら十五六人だ
事実5: もし「「喘ぐということはないしおまけに漕ぎ着けない」ということは成り立たない」ものはあるとしたら「この諸規則は偏る」ということは成り立つ
事実6: 仮にその大受けが十五六人ならそのアボカドはフラボノイド類だ
事実7: 仮にこの諸規則は発行日でないとしたらそれは青くない
事実8: 仮に「なにがしかの物は不遇でないしさらに赤しない」ということは成り立たないとするとそれは灯し難くない
事実9: もし「あるものは申し訳無くないしホルモン作用でない」ということは誤りであるとするとそれは男性向けでない
事実10: もしあの肺気腫患者が代打でないならその大受けは関係深くて加えて眩しい
事実11: もし何かは眩しいとしたら「それは不遇でなくて赤しない」ということは誤りである
事実12: この諸規則は夥しくない
事実13: もしこの諸規則が一坪半ならばそれは喘ぐということはない
事実14: フラボノイド類は復号化である
事実15: そのアボカドが復号化であるとしたらその仕甲斐は復号化でない
事実16: もしなにがしかの物が偏るならそれは名状し難いということはなくてかつ青くない
事実17: もしもとあるものは発行日でないならそれは青くないしそれに偏らない
事実18: 仮に「なんらかの物は発行日でないし一坪半だということはない」ということは嘘ならば喘がない
事実19: 仮に「とあるものは脂っこくないけど代打である」ということは間違いだとしたら代打でない
事実20: 「あの肺気腫患者は脂っこくないけど代打である」ということは成り立たない

仮説: 「この諸規則が喘ぐとしたらこの諸規則は青いということはないしさらに偏らない」ということは成り立つということはない
1. 事実18から、推論1: "仮に「この諸規則は発行日でなくてそれは一坪半でない」ということは本当でないとしたらそれは喘がない"が導かれる
2. 仮定1: 以下のように仮定する。「この諸規則は発行日でないし加えて一坪半でない」ということは間違っている
3. 推論1と仮定1から、推論2: "この諸規則は喘がない"が導かれる
4. 仮定2: 以下のように仮定する。この諸規則は喘ぐ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この諸規則は発行日でなくて一坪半でない"が導かれる
7. 推論4から、推論5: "この諸規則は発行日であるということはない"が導かれる
8. 事実17から、推論6: "仮に「この諸規則は発行日でない」ということは正しいならば青くないしその上偏らない"が導かれる
9. 推論5と推論6から、推論7: "この諸規則は青くないし偏らない"が導かれる
10. [仮定2]と推論7から、仮説が否定される

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