この親指は激化しない
fact1: 春らしいものは踏み切れるかあるいは激化するということはない fact2: もし仮に「あの返り討ちは登山家らしいがポリエチレングリコールでない」ということは嘘であるとすると「登山家らしくない」ということは成り立つ fact3: この親指はもどかしくて直立する fact4: もし仮にこの空調が踏み切れるかあるいは激化しないかどちらもだとすればこの親指は激化しない fact5: もしこの親指は素早いとすると「春らしい」ということは正しい fact6: 興奮し易くない物は春らしいし弱い fact7: この親指は春らしいしその上踏み切れる fact8: 仮にある物が踏み切れるなら激化する fact9: 「あの返り討ちは登山家らしいけどポリエチレングリコールでない」ということは成り立たない fact10: あの単位時間内は再割り当てであるということはなくて熱くないならば迷い難い fact11: もし仮にあの返り討ちがリードしないが得点目標であるとするとあの単位時間内はＣＡ施用区でない fact12: 「この親指は春らしい」ということは本当だ fact13: もしなにかは迷い難いとすれば「組み上げるということはないしそれにそれは忙しくない」ということは成り立たない fact14: 登山家らしくないものはリードするということはないけど得点目標である fact15: あの謹慎は春らしいししかもそれは一回戦である fact16: この親指は転職するし禍々しい fact17: 仮にあの別種類が春らしいならばあの空調は春らしい fact18: この親指は継続し難い fact19: このＤＨＣＰは春らしい fact20: もし仮にあの単位時間内はＣＡ施用区でないとしたら「それは再割り当てでなくてかつ熱くない」ということは成り立つ
fact7 -> int1: この親指は踏み切れる; fact8 -> int2: 仮にこの親指が踏み切れるとしたら激化する; int1 & int2 -> hypothesis;
この親指は激化しない
fact22 -> int3: もし仮にこの空調が春らしいならば踏み切れるかもしくは激化するということはないかまたは両方である; fact28 -> int4: もし仮にあの別種類は興奮し易くないとしたらそれは春らしいし加えて弱い; fact31 -> int5: 仮にあの単位時間内は迷い難いとすれば「それは組み上げないし忙しくない」ということは真実であるということはない; fact23 -> int6: もしもあの返り討ちが登山家らしくないとすればリードしないが得点目標である; fact21 & fact25 -> int7: あの返り討ちは登山家らしくない; int6 & int7 -> int8: あの返り討ちはリードしないけど得点目標である; fact26 & int8 -> int9: 「あの単位時間内はＣＡ施用区であるということはない」ということは嘘でない; fact27 & int9 -> int10: あの単位時間内は再割り当てでないしおまけに熱くない; fact24 & int10 -> int11: 「あの単位時間内は迷い難い」ということは成り立つ; int5 & int11 -> int12: 「あの単位時間内は組み上げないしかつそれは忙しくない」ということは成り立たない; int12 -> int13: 「「組み上げないしおまけに忙しくない」ということは本当だということはない」ものはある;
$facts$ = fact1: 春らしいものは踏み切れるかあるいは激化するということはない fact2: もし仮に「あの返り討ちは登山家らしいがポリエチレングリコールでない」ということは嘘であるとすると「登山家らしくない」ということは成り立つ fact3: この親指はもどかしくて直立する fact4: もし仮にこの空調が踏み切れるかあるいは激化しないかどちらもだとすればこの親指は激化しない fact5: もしこの親指は素早いとすると「春らしい」ということは正しい fact6: 興奮し易くない物は春らしいし弱い fact7: この親指は春らしいしその上踏み切れる fact8: 仮にある物が踏み切れるなら激化する fact9: 「あの返り討ちは登山家らしいけどポリエチレングリコールでない」ということは成り立たない fact10: あの単位時間内は再割り当てであるということはなくて熱くないならば迷い難い fact11: もし仮にあの返り討ちがリードしないが得点目標であるとするとあの単位時間内はＣＡ施用区でない fact12: 「この親指は春らしい」ということは本当だ fact13: もしなにかは迷い難いとすれば「組み上げるということはないしそれにそれは忙しくない」ということは成り立たない fact14: 登山家らしくないものはリードするということはないけど得点目標である fact15: あの謹慎は春らしいししかもそれは一回戦である fact16: この親指は転職するし禍々しい fact17: 仮にあの別種類が春らしいならばあの空調は春らしい fact18: この親指は継続し難い fact19: このＤＨＣＰは春らしい fact20: もし仮にあの単位時間内はＣＡ施用区でないとしたら「それは再割り当てでなくてかつ熱くない」ということは成り立つ ; $hypothesis$ = この親指は激化しない ; $proof$ = 
fact7 -> int1: この親指は踏み切れる; fact8 -> int2: 仮にこの親指が踏み切れるとしたら激化する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 春らしいものは踏み切れるかあるいは激化するということはない
事実2: もし仮に「あの返り討ちは登山家らしいがポリエチレングリコールでない」ということは嘘であるとすると「登山家らしくない」ということは成り立つ
事実3: この親指はもどかしくて直立する
事実4: もし仮にこの空調が踏み切れるかあるいは激化しないかどちらもだとすればこの親指は激化しない
事実5: もしこの親指は素早いとすると「春らしい」ということは正しい
事実6: 興奮し易くない物は春らしいし弱い
事実7: この親指は春らしいしその上踏み切れる
事実8: 仮にある物が踏み切れるなら激化する
事実9: 「あの返り討ちは登山家らしいけどポリエチレングリコールでない」ということは成り立たない
事実10: あの単位時間内は再割り当てであるということはなくて熱くないならば迷い難い
事実11: もし仮にあの返り討ちがリードしないが得点目標であるとするとあの単位時間内はＣＡ施用区でない
事実12: 「この親指は春らしい」ということは本当だ
事実13: もしなにかは迷い難いとすれば「組み上げるということはないしそれにそれは忙しくない」ということは成り立たない
事実14: 登山家らしくないものはリードするということはないけど得点目標である
事実15: あの謹慎は春らしいししかもそれは一回戦である
事実16: この親指は転職するし禍々しい
事実17: 仮にあの別種類が春らしいならばあの空調は春らしい
事実18: この親指は継続し難い
事実19: このＤＨＣＰは春らしい
事実20: もし仮にあの単位時間内はＣＡ施用区でないとしたら「それは再割り当てでなくてかつ熱くない」ということは成り立つ

仮説: この親指は激化しない
1. 事実7から、推論1: "この親指は踏み切れる"が導かれる
2. 事実8から、推論2: "仮にこの親指が踏み切れるとしたら激化する"が導かれる
3. 推論1と推論2から、仮説が否定される

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