この癌細胞はむしゃくしゃしない
fact1: この癌細胞は増加し始めるがしかし操作し始めない fact2: この癌細胞は在院する fact3: この癌細胞は悪しくない fact4: この癌細胞は日本らしくない fact5: 仮にこの御二人は名乗り出るかまたは竦めるかあるいは両方であるとすれば操作し始めるということはない fact6: このアカシアは軍需でない fact7: 仮にとあるものは増加し始めるけど操作し始めないとすれば両極化する fact8: もし仮に何らかのものは生じ易いしかつ涼しいとしたらそれは占有する fact9: 仮に何らかの物が婚姻期間であるかまたは両極化するかどちらもであるならば合い過ぎない fact10: この癌細胞が軍需だけれど燃え易くないとすると「それはワシントンポストである」ということは成り立つ fact11: もしその受領書は回り道する一方で操作し始めないなら測り兼ねる fact12: もしも何らかのものは在院するし加えて軍需であるとするとそれはむしゃくしゃするということはない fact13: もしこの癌細胞は増加し始めるししかも操作し始めるならそれは両極化する fact14: その有休は在院する fact15: もしも何かは合い過ぎるということはないとすると軍需である fact16: 「この癌細胞は操作し始めない」ということは確かだ fact17: 「その外線は合い過ぎる」ということは事実である
fact7 -> int1: もしもこの癌細胞は増加し始めるが操作し始めないとすればそれは両極化する; int1 & fact1 -> int2: この癌細胞は両極化する; int2 -> int3: この癌細胞は婚姻期間であるかもしくは両極化するかどちらもである; fact9 -> int4: もしこの癌細胞が婚姻期間であるかもしくは両極化するならそれは合い過ぎない; int3 & int4 -> int5: この癌細胞は合い過ぎない; fact15 -> int6: 仮にこの癌細胞が合い過ぎないとしたら軍需だ; int5 & int6 -> int7: この癌細胞は軍需だ; int7 & fact2 -> int8: この癌細胞は在院するし更に軍需である; fact12 -> int9: もしこの癌細胞は在院するし軍需だとするとむしゃくしゃしない; int8 & int9 -> hypothesis;
$facts$ = fact1: この癌細胞は増加し始めるがしかし操作し始めない fact2: この癌細胞は在院する fact3: この癌細胞は悪しくない fact4: この癌細胞は日本らしくない fact5: 仮にこの御二人は名乗り出るかまたは竦めるかあるいは両方であるとすれば操作し始めるということはない fact6: このアカシアは軍需でない fact7: 仮にとあるものは増加し始めるけど操作し始めないとすれば両極化する fact8: もし仮に何らかのものは生じ易いしかつ涼しいとしたらそれは占有する fact9: 仮に何らかの物が婚姻期間であるかまたは両極化するかどちらもであるならば合い過ぎない fact10: この癌細胞が軍需だけれど燃え易くないとすると「それはワシントンポストである」ということは成り立つ fact11: もしその受領書は回り道する一方で操作し始めないなら測り兼ねる fact12: もしも何らかのものは在院するし加えて軍需であるとするとそれはむしゃくしゃするということはない fact13: もしこの癌細胞は増加し始めるししかも操作し始めるならそれは両極化する fact14: その有休は在院する fact15: もしも何かは合い過ぎるということはないとすると軍需である fact16: 「この癌細胞は操作し始めない」ということは確かだ fact17: 「その外線は合い過ぎる」ということは事実である ; $hypothesis$ = この癌細胞はむしゃくしゃしない ; $proof$ = 
fact7 -> int1: もしもこの癌細胞は増加し始めるが操作し始めないとすればそれは両極化する; int1 & fact1 -> int2: この癌細胞は両極化する; int2 -> int3: この癌細胞は婚姻期間であるかもしくは両極化するかどちらもである; fact9 -> int4: もしこの癌細胞が婚姻期間であるかもしくは両極化するならそれは合い過ぎない; int3 & int4 -> int5: この癌細胞は合い過ぎない; fact15 -> int6: 仮にこの癌細胞が合い過ぎないとしたら軍需だ; int5 & int6 -> int7: この癌細胞は軍需だ; int7 & fact2 -> int8: この癌細胞は在院するし更に軍需である; fact12 -> int9: もしこの癌細胞は在院するし軍需だとするとむしゃくしゃしない; int8 & int9 -> hypothesis; __PROVED__
事実1: この癌細胞は増加し始めるがしかし操作し始めない
事実2: この癌細胞は在院する
事実3: この癌細胞は悪しくない
事実4: この癌細胞は日本らしくない
事実5: 仮にこの御二人は名乗り出るかまたは竦めるかあるいは両方であるとすれば操作し始めるということはない
事実6: このアカシアは軍需でない
事実7: 仮にとあるものは増加し始めるけど操作し始めないとすれば両極化する
事実8: もし仮に何らかのものは生じ易いしかつ涼しいとしたらそれは占有する
事実9: 仮に何らかの物が婚姻期間であるかまたは両極化するかどちらもであるならば合い過ぎない
事実10: この癌細胞が軍需だけれど燃え易くないとすると「それはワシントンポストである」ということは成り立つ
事実11: もしその受領書は回り道する一方で操作し始めないなら測り兼ねる
事実12: もしも何らかのものは在院するし加えて軍需であるとするとそれはむしゃくしゃするということはない
事実13: もしこの癌細胞は増加し始めるししかも操作し始めるならそれは両極化する
事実14: その有休は在院する
事実15: もしも何かは合い過ぎるということはないとすると軍需である
事実16: 「この癌細胞は操作し始めない」ということは確かだ
事実17: 「その外線は合い過ぎる」ということは事実である

仮説: この癌細胞はむしゃくしゃしない
1. 事実7から、推論1: "もしもこの癌細胞は増加し始めるが操作し始めないとすればそれは両極化する"が導かれる
2. 推論1と事実1から、推論2: "この癌細胞は両極化する"が導かれる
3. 推論2から、推論3: "この癌細胞は婚姻期間であるかもしくは両極化するかどちらもである"が導かれる
4. 事実9から、推論4: "もしこの癌細胞が婚姻期間であるかもしくは両極化するならそれは合い過ぎない"が導かれる
5. 推論3と推論4から、推論5: "この癌細胞は合い過ぎない"が導かれる
6. 事実15から、推論6: "仮にこの癌細胞が合い過ぎないとしたら軍需だ"が導かれる
7. 推論5と推論6から、推論7: "この癌細胞は軍需だ"が導かれる
8. 推論7と事実2から、推論8: "この癌細胞は在院するし更に軍需である"が導かれる
9. 事実12から、推論9: "もしこの癌細胞は在院するし軍需だとするとむしゃくしゃしない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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