「もし仮にその安らかさが日比谷公園であるとしたらその安らかさは無理無くない」ということは嘘だ
fact1: その安らかさは慈悲深いがしかし職業病でない fact2: もし「その餡掛けは無理無いがしかし化けない」ということは間違いだとしたら「物悲しい」ということは嘘である fact3: 「その安らかさは宇宙線でない」ということは本当である fact4: 仮にその安らかさが恨むとすればそれは日比谷公園でない fact5: もし「「その安らかさは日比谷公園だ一方で誇りっぽくない」ということは事実である」ということは事実と異なるとすればそれは黄色い fact6: 「あの線虫は許可等である一方でみっとも可愛くない」ということは成り立たないならば無理無い fact7: もしその安らかさが掛かり易いとするとそれは無理無い fact8: もし「「なにかは言い続ける一方で予測し易くない」ということは正しい」ということは成り立たないとするとそれはＸ会社でない fact9: 仮にその安らかさが寂しいとしたら無理無い fact10: 仮にその安らかさは整備すが職業病でないとすればそれは調査研究しない fact11: もしも何らかのものが捗るがしかしそれが打ち消し合わないとしたら縮合しない fact12: その安らかさは格好良いけどアークでない fact13: 「その風土記は塩梅するけど家出息子でない」ということは成り立つということはない fact14: 仮になんらかの物が強張るならそれは日比谷公園でないかあるいは無理無くないかどちらもだ fact15: その安らかさは紛らわしいがそれは纏まり易いということはない fact16: 仮にあのエンブダイはティタン神族であるとしたら「布告する」ということは正しい fact17: 「この空間表示は無理無いけれど加入出来ない」ということは誤りである fact18: もしも何かは案内するけれどそれが塩梅しないとするとビジュアル化しない fact19: 「ある物が職業病だけどそれは無理無いということはない」ということは成り立たないならば日比谷公園でない fact20: そのツンドラは日比谷公園であるがしかし十二月発行でない
fact19 -> int1: もしも「その安らかさは職業病だ一方で無理無くない」ということは偽だとしたら日比谷公園でない; void -> assump2: 以下のように仮定する。「その安らかさが職業病だけど無理無いということはない」ということは嘘だ; int1 & assump2 -> int2: その安らかさは日比谷公園でない; void -> assump1: 以下のように仮定する。その安らかさは日比谷公園だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その安らかさは職業病だけど無理無くない; int4 -> int5: その安らかさは無理無くない; [assump1] & int5 -> hypothesis;
あのコミュニケーション手段は無理無くない
fact21 -> int6: 仮にあの水素イオンが強張るなら日比谷公園でないか無理無くないかまたは両方ともである;
$facts$ = fact1: その安らかさは慈悲深いがしかし職業病でない fact2: もし「その餡掛けは無理無いがしかし化けない」ということは間違いだとしたら「物悲しい」ということは嘘である fact3: 「その安らかさは宇宙線でない」ということは本当である fact4: 仮にその安らかさが恨むとすればそれは日比谷公園でない fact5: もし「「その安らかさは日比谷公園だ一方で誇りっぽくない」ということは事実である」ということは事実と異なるとすればそれは黄色い fact6: 「あの線虫は許可等である一方でみっとも可愛くない」ということは成り立たないならば無理無い fact7: もしその安らかさが掛かり易いとするとそれは無理無い fact8: もし「「なにかは言い続ける一方で予測し易くない」ということは正しい」ということは成り立たないとするとそれはＸ会社でない fact9: 仮にその安らかさが寂しいとしたら無理無い fact10: 仮にその安らかさは整備すが職業病でないとすればそれは調査研究しない fact11: もしも何らかのものが捗るがしかしそれが打ち消し合わないとしたら縮合しない fact12: その安らかさは格好良いけどアークでない fact13: 「その風土記は塩梅するけど家出息子でない」ということは成り立つということはない fact14: 仮になんらかの物が強張るならそれは日比谷公園でないかあるいは無理無くないかどちらもだ fact15: その安らかさは紛らわしいがそれは纏まり易いということはない fact16: 仮にあのエンブダイはティタン神族であるとしたら「布告する」ということは正しい fact17: 「この空間表示は無理無いけれど加入出来ない」ということは誤りである fact18: もしも何かは案内するけれどそれが塩梅しないとするとビジュアル化しない fact19: 「ある物が職業病だけどそれは無理無いということはない」ということは成り立たないならば日比谷公園でない fact20: そのツンドラは日比谷公園であるがしかし十二月発行でない ; $hypothesis$ = 「もし仮にその安らかさが日比谷公園であるとしたらその安らかさは無理無くない」ということは嘘だ ; $proof$ = 
fact19 -> int1: もしも「その安らかさは職業病だ一方で無理無くない」ということは偽だとしたら日比谷公園でない; void -> assump2: 以下のように仮定する。「その安らかさが職業病だけど無理無いということはない」ということは嘘だ; int1 & assump2 -> int2: その安らかさは日比谷公園でない; void -> assump1: 以下のように仮定する。その安らかさは日比谷公園だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その安らかさは職業病だけど無理無くない; int4 -> int5: その安らかさは無理無くない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: その安らかさは慈悲深いがしかし職業病でない
事実2: もし「その餡掛けは無理無いがしかし化けない」ということは間違いだとしたら「物悲しい」ということは嘘である
事実3: 「その安らかさは宇宙線でない」ということは本当である
事実4: 仮にその安らかさが恨むとすればそれは日比谷公園でない
事実5: もし「「その安らかさは日比谷公園だ一方で誇りっぽくない」ということは事実である」ということは事実と異なるとすればそれは黄色い
事実6: 「あの線虫は許可等である一方でみっとも可愛くない」ということは成り立たないならば無理無い
事実7: もしその安らかさが掛かり易いとするとそれは無理無い
事実8: もし「「なにかは言い続ける一方で予測し易くない」ということは正しい」ということは成り立たないとするとそれはＸ会社でない
事実9: 仮にその安らかさが寂しいとしたら無理無い
事実10: 仮にその安らかさは整備すが職業病でないとすればそれは調査研究しない
事実11: もしも何らかのものが捗るがしかしそれが打ち消し合わないとしたら縮合しない
事実12: その安らかさは格好良いけどアークでない
事実13: 「その風土記は塩梅するけど家出息子でない」ということは成り立つということはない
事実14: 仮になんらかの物が強張るならそれは日比谷公園でないかあるいは無理無くないかどちらもだ
事実15: その安らかさは紛らわしいがそれは纏まり易いということはない
事実16: 仮にあのエンブダイはティタン神族であるとしたら「布告する」ということは正しい
事実17: 「この空間表示は無理無いけれど加入出来ない」ということは誤りである
事実18: もしも何かは案内するけれどそれが塩梅しないとするとビジュアル化しない
事実19: 「ある物が職業病だけどそれは無理無いということはない」ということは成り立たないならば日比谷公園でない
事実20: そのツンドラは日比谷公園であるがしかし十二月発行でない

仮説: 「もし仮にその安らかさが日比谷公園であるとしたらその安らかさは無理無くない」ということは嘘だ
1. 事実19から、推論1: "もしも「その安らかさは職業病だ一方で無理無くない」ということは偽だとしたら日比谷公園でない"が導かれる
2. 仮定2: 以下のように仮定する。「その安らかさが職業病だけど無理無いということはない」ということは嘘だ
3. 推論1と仮定2から、推論2: "その安らかさは日比谷公園でない"が導かれる
4. 仮定1: 以下のように仮定する。その安らかさは日比谷公園だ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その安らかさは職業病だけど無理無くない"が導かれる
7. 推論4から、推論5: "その安らかさは無理無くない"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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