この集計問題は考え辛い
fact1: その企業目的はターボであるとしたら「その憲法改革は薬臭いけどそれは保育所・幼稚園でない」ということは誤りだ fact2: その憲法改革は薬臭い fact3: この集計問題は避妊しない fact4: その企業目的は引き直し計算する fact5: 「もし仮にその企業目的が考え辛くないとすればあの集計問題は薬臭くてかつ考え辛い」ということは真実だ fact6: この集計問題が短冊状でないとしたらその企業目的は考え辛くないがザンタックだ fact7: その憲法改革は短冊状でない fact8: 「この集計問題はザンタックである」ということは確かだ fact9: 仮に何らかの物が待ち受けるということはないとしたら凝縮温度でないし賑わせない fact10: もしその憲法改革が短冊状でないとしたらその企業目的はザンタックでないがしかし観想する fact11: その憲法改革は焦れったくない fact12: 「もし仮にその企業目的が帯び始めるし引き直し計算するとしたらその企業目的は床しかない」ということは成り立つ fact13: 仮にこの集計問題が薬臭いということはないとすればその企業目的は考え辛いしそれは薬臭い fact14: 仮になんらかの物はザンタックでないとしたら考え辛くない fact15: もし仮にその企業目的が床しかないならそれはターボであるしまた貨物列車だ fact16: その企業目的は帯び始める fact17: その憲法改革はザンタックだということはない fact18: 仮にその憲法改革は短冊状でないとすると「その企業目的は観想する」ということは本当である fact19: もし仮にこの集計問題が観想するということはないとすれば考え辛いということはない fact20: その飯田高原下車は観想しない fact21: 「全ては待ち受けるということはない」ということは正しい
fact10 & fact7 -> int1: その企業目的はザンタックでないけど観想する; int1 -> int2: その企業目的はザンタックでない; fact14 -> int3: もしもその企業目的はザンタックであるということはないならそれは考え辛くない; int2 & int3 -> int4: その企業目的は考え辛いということはない; int4 & fact5 -> int5: この集計問題は薬臭いししかもそれは考え辛い; int5 -> hypothesis;
「この集計問題は考え辛くない」ということは事実である
fact24 & fact28 -> int6: その企業目的は帯び始めるしかつ引き直し計算する; fact26 & int6 -> int7: その企業目的は床しかない; int7 & fact23 -> int8: その企業目的はターボであるし貨物列車だ; int8 -> int9: その企業目的はターボだ; int9 & fact27 -> int10: 「その憲法改革は薬臭いけど保育所・幼稚園でない」ということは成り立たない; fact25 -> int11: 仮にその二百二十人が待ち受けないならばそれは凝縮温度でなくてかつ賑わせない; fact22 -> int12: その二百二十人は待ち受けるということはない; int11 & int12 -> int13: その二百二十人は凝縮温度であるということはないしそれは賑わせない; int13 -> int14: どれもこれもは凝縮温度でなくてまた賑わせない; int14 -> int15: 「あの御計画は凝縮温度でないしかつ賑わせない」ということは成り立つ; int15 -> int16: あの御計画は凝縮温度であるということはない; int16 -> int17: すべては凝縮温度でない; int17 -> int18: その憲法改革は凝縮温度でない;
$facts$ = fact1: その企業目的はターボであるとしたら「その憲法改革は薬臭いけどそれは保育所・幼稚園でない」ということは誤りだ fact2: その憲法改革は薬臭い fact3: この集計問題は避妊しない fact4: その企業目的は引き直し計算する fact5: 「もし仮にその企業目的が考え辛くないとすればあの集計問題は薬臭くてかつ考え辛い」ということは真実だ fact6: この集計問題が短冊状でないとしたらその企業目的は考え辛くないがザンタックだ fact7: その憲法改革は短冊状でない fact8: 「この集計問題はザンタックである」ということは確かだ fact9: 仮に何らかの物が待ち受けるということはないとしたら凝縮温度でないし賑わせない fact10: もしその憲法改革が短冊状でないとしたらその企業目的はザンタックでないがしかし観想する fact11: その憲法改革は焦れったくない fact12: 「もし仮にその企業目的が帯び始めるし引き直し計算するとしたらその企業目的は床しかない」ということは成り立つ fact13: 仮にこの集計問題が薬臭いということはないとすればその企業目的は考え辛いしそれは薬臭い fact14: 仮になんらかの物はザンタックでないとしたら考え辛くない fact15: もし仮にその企業目的が床しかないならそれはターボであるしまた貨物列車だ fact16: その企業目的は帯び始める fact17: その憲法改革はザンタックだということはない fact18: 仮にその憲法改革は短冊状でないとすると「その企業目的は観想する」ということは本当である fact19: もし仮にこの集計問題が観想するということはないとすれば考え辛いということはない fact20: その飯田高原下車は観想しない fact21: 「全ては待ち受けるということはない」ということは正しい ; $hypothesis$ = この集計問題は考え辛い ; $proof$ = 
fact10 & fact7 -> int1: その企業目的はザンタックでないけど観想する; int1 -> int2: その企業目的はザンタックでない; fact14 -> int3: もしもその企業目的はザンタックであるということはないならそれは考え辛くない; int2 & int3 -> int4: その企業目的は考え辛いということはない; int4 & fact5 -> int5: この集計問題は薬臭いししかもそれは考え辛い; int5 -> hypothesis; __PROVED__
事実1: その企業目的はターボであるとしたら「その憲法改革は薬臭いけどそれは保育所・幼稚園でない」ということは誤りだ
事実2: その憲法改革は薬臭い
事実3: この集計問題は避妊しない
事実4: その企業目的は引き直し計算する
事実5: 「もし仮にその企業目的が考え辛くないとすればあの集計問題は薬臭くてかつ考え辛い」ということは真実だ
事実6: この集計問題が短冊状でないとしたらその企業目的は考え辛くないがザンタックだ
事実7: その憲法改革は短冊状でない
事実8: 「この集計問題はザンタックである」ということは確かだ
事実9: 仮に何らかの物が待ち受けるということはないとしたら凝縮温度でないし賑わせない
事実10: もしその憲法改革が短冊状でないとしたらその企業目的はザンタックでないがしかし観想する
事実11: その憲法改革は焦れったくない
事実12: 「もし仮にその企業目的が帯び始めるし引き直し計算するとしたらその企業目的は床しかない」ということは成り立つ
事実13: 仮にこの集計問題が薬臭いということはないとすればその企業目的は考え辛いしそれは薬臭い
事実14: 仮になんらかの物はザンタックでないとしたら考え辛くない
事実15: もし仮にその企業目的が床しかないならそれはターボであるしまた貨物列車だ
事実16: その企業目的は帯び始める
事実17: その憲法改革はザンタックだということはない
事実18: 仮にその憲法改革は短冊状でないとすると「その企業目的は観想する」ということは本当である
事実19: もし仮にこの集計問題が観想するということはないとすれば考え辛いということはない
事実20: その飯田高原下車は観想しない
事実21: 「全ては待ち受けるということはない」ということは正しい

仮説: この集計問題は考え辛い
1. 事実10と事実7から、推論1: "その企業目的はザンタックでないけど観想する"が導かれる
2. 推論1から、推論2: "その企業目的はザンタックでない"が導かれる
3. 事実14から、推論3: "もしもその企業目的はザンタックであるということはないならそれは考え辛くない"が導かれる
4. 推論2と推論3から、推論4: "その企業目的は考え辛いということはない"が導かれる
5. 推論4と事実5から、推論5: "この集計問題は薬臭いししかもそれは考え辛い"が導かれる
6. 推論5から、仮説が導かれる

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