「その法的拘束力は空気抵抗だけれど組み上げない」ということは偽だ
fact1: もしもこの名門校は梅雨明けであるとすればそれは悔しい fact2: 感じ難くないものは組み立てるししかも梅雨明けだ fact3: もし仮に「「忘れっぽい」ということは真実な」物があればその足長は感じ難いけれど梅雨明けであるということはない fact4: この彩雲は組み立てる fact5: 「あの労働法は組み上げない」ということは成り立つなら「その法的拘束力は空気抵抗だけど組み上げない」ということは誤りだ fact6: この名門校が忘れっぽいし悔しいとするとあの労働法は組み上げない fact7: この彩雲は感じ難い fact8: 仮になにがしかの物が葛藤するということはないなら組み上げるし悔しいということはない fact9: 仮にこの名門校が共するとすればそれは喜ばしい fact10: もし仮に梅雨明けが感じ難いとすればあの名門校は忘れっぽい fact11: 仮に「この彩雲は喜ばしかないがしかし葛藤する」ということは成り立たないとしたら葛藤するということはない fact12: 仮に「「喜ばしい」ということは事実な」物はあれば「この彩雲は喜ばしかないが葛藤する」ということは正しいということはない fact13: もしとある物が組み立てるとしたら旋回する fact14: この名門校は共する fact15: 「あの労働法は忘れっぽい」ということは成り立つ fact16: この名門校は悔しい fact17: もし仮にこの彩雲が組み上げるがしかし悔しくないならその足長は空気抵抗だ fact18: この彩雲が組み立てるとするとそれは梅雨明けだ
fact18 & fact4 -> int1: この彩雲は梅雨明けだ; int1 & fact7 -> int2: この彩雲は梅雨明けだしその上感じ難い; int2 -> int3: なにかは梅雨明けだしかつ感じ難い; int3 & fact10 -> int4: この名門校は忘れっぽい; int4 & fact16 -> int5: この名門校は忘れっぽいしそれは悔しい; int5 & fact6 -> int6: あの労働法は組み上げない; int6 & fact5 -> hypothesis;
その足長は旋回するしそれは空気抵抗だ
fact26 -> int7: もし仮にその足長は組み立てるとしたら「それは旋回する」ということは成り立つ; fact27 -> int8: 「忘れっぽい」ものはある; int8 & fact23 -> int9: その足長は感じ難いがしかし梅雨明けだということはない; fact19 -> int10: この彩雲が葛藤しないなら組み上げるしおまけにそれは悔しいということはない; fact24 & fact20 -> int11: この名門校は喜ばしい; int11 -> int12: 「喜ばしい」物はある; int12 & fact21 -> int13: 「「「この彩雲は喜ばしいということはないがしかし葛藤する」ということは事実だ」ということは間違っている」ということは成り立つ; fact22 & int13 -> int14: この彩雲は葛藤しない; int10 & int14 -> int15: この彩雲は組み上げるがしかし悔しくない; fact25 & int15 -> int16: その足長は空気抵抗である;
$facts$ = fact1: もしもこの名門校は梅雨明けであるとすればそれは悔しい fact2: 感じ難くないものは組み立てるししかも梅雨明けだ fact3: もし仮に「「忘れっぽい」ということは真実な」物があればその足長は感じ難いけれど梅雨明けであるということはない fact4: この彩雲は組み立てる fact5: 「あの労働法は組み上げない」ということは成り立つなら「その法的拘束力は空気抵抗だけど組み上げない」ということは誤りだ fact6: この名門校が忘れっぽいし悔しいとするとあの労働法は組み上げない fact7: この彩雲は感じ難い fact8: 仮になにがしかの物が葛藤するということはないなら組み上げるし悔しいということはない fact9: 仮にこの名門校が共するとすればそれは喜ばしい fact10: もし仮に梅雨明けが感じ難いとすればあの名門校は忘れっぽい fact11: 仮に「この彩雲は喜ばしかないがしかし葛藤する」ということは成り立たないとしたら葛藤するということはない fact12: 仮に「「喜ばしい」ということは事実な」物はあれば「この彩雲は喜ばしかないが葛藤する」ということは正しいということはない fact13: もしとある物が組み立てるとしたら旋回する fact14: この名門校は共する fact15: 「あの労働法は忘れっぽい」ということは成り立つ fact16: この名門校は悔しい fact17: もし仮にこの彩雲が組み上げるがしかし悔しくないならその足長は空気抵抗だ fact18: この彩雲が組み立てるとするとそれは梅雨明けだ ; $hypothesis$ = 「その法的拘束力は空気抵抗だけれど組み上げない」ということは偽だ ; $proof$ = 
fact18 & fact4 -> int1: この彩雲は梅雨明けだ; int1 & fact7 -> int2: この彩雲は梅雨明けだしその上感じ難い; int2 -> int3: なにかは梅雨明けだしかつ感じ難い; int3 & fact10 -> int4: この名門校は忘れっぽい; int4 & fact16 -> int5: この名門校は忘れっぽいしそれは悔しい; int5 & fact6 -> int6: あの労働法は組み上げない; int6 & fact5 -> hypothesis; __PROVED__
事実1: もしもこの名門校は梅雨明けであるとすればそれは悔しい
事実2: 感じ難くないものは組み立てるししかも梅雨明けだ
事実3: もし仮に「「忘れっぽい」ということは真実な」物があればその足長は感じ難いけれど梅雨明けであるということはない
事実4: この彩雲は組み立てる
事実5: 「あの労働法は組み上げない」ということは成り立つなら「その法的拘束力は空気抵抗だけど組み上げない」ということは誤りだ
事実6: この名門校が忘れっぽいし悔しいとするとあの労働法は組み上げない
事実7: この彩雲は感じ難い
事実8: 仮になにがしかの物が葛藤するということはないなら組み上げるし悔しいということはない
事実9: 仮にこの名門校が共するとすればそれは喜ばしい
事実10: もし仮に梅雨明けが感じ難いとすればあの名門校は忘れっぽい
事実11: 仮に「この彩雲は喜ばしかないがしかし葛藤する」ということは成り立たないとしたら葛藤するということはない
事実12: 仮に「「喜ばしい」ということは事実な」物はあれば「この彩雲は喜ばしかないが葛藤する」ということは正しいということはない
事実13: もしとある物が組み立てるとしたら旋回する
事実14: この名門校は共する
事実15: 「あの労働法は忘れっぽい」ということは成り立つ
事実16: この名門校は悔しい
事実17: もし仮にこの彩雲が組み上げるがしかし悔しくないならその足長は空気抵抗だ
事実18: この彩雲が組み立てるとするとそれは梅雨明けだ

仮説: 「その法的拘束力は空気抵抗だけれど組み上げない」ということは偽だ
1. 事実18と事実4から、推論1: "この彩雲は梅雨明けだ"が導かれる
2. 推論1と事実7から、推論2: "この彩雲は梅雨明けだしその上感じ難い"が導かれる
3. 推論2から、推論3: "なにかは梅雨明けだしかつ感じ難い"が導かれる
4. 推論3と事実10から、推論4: "この名門校は忘れっぽい"が導かれる
5. 推論4と事実16から、推論5: "この名門校は忘れっぽいしそれは悔しい"が導かれる
6. 推論5と事実6から、推論6: "あの労働法は組み上げない"が導かれる
7. 推論6と事実5から、仮説が導かれる

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