この拘束時間は養育出来る
fact1: あるものが六階建てでないとすればそれは嫌気性条件下であるし更に統計数字である fact2: 仮になにがしかの物が養育出来ないとすれば凛々しくて統計数字である fact3: ど偉くてそれは刮げるという物はない fact4: あの危篤状態は気安くて加えて情け深い fact5: この抄出は物憂い fact6: その横画面は六階建てである fact7: もしあの御八重は物憂くないかもしくは加速化しないかあるいはどちらもであるとすると不肖だ fact8: 「この拘束時間は汚れ易くないかもしくはそれは養育出来るかまたは両方だ」ということは確かである fact9: 六階建ては養育出来る fact10: もし仮に「この抄出はど偉いしおまけにそれは刮げる」ということは真実でないとしたらあの危篤状態は六階建てでない fact11: あの危篤状態が統計数字だしその上凛々しいとするとこの拘束時間は養育出来ない fact12: もしもあの危篤状態は統計数字でないなら「それは養育出来ないけれど六階建てだ」ということは成り立つということはない fact13: この教育行財政は統計数字だということはない fact14: あの危篤状態は汚れ易くないかもしくは物憂くないかもしくは両方ともだ fact15: 何らかのものは汚れ易くないなら「凛々しくて統計数字だ」ということは嘘でない fact16: 仮にあの危篤状態は汚れ易くないか物憂くないかまたは両方ともであるとしたら凛々しい
fact3 -> int1: 「この抄出はど偉くておまけにそれは刮げる」ということは嘘である; int1 & fact10 -> int2: あの危篤状態は六階建てでない; fact1 -> int3: もし仮にあの危篤状態が六階建てでないとしたら嫌気性条件下だし統計数字だ; int2 & int3 -> int4: あの危篤状態は嫌気性条件下だしさらに統計数字だ; int4 -> int5: あの危篤状態は統計数字である; fact16 & fact14 -> int6: あの危篤状態は凛々しい; int5 & int6 -> int7: あの危篤状態は統計数字であるしさらに凛々しい; int7 & fact11 -> hypothesis;
この拘束時間は養育出来る
fact17 -> int8: もし仮にこの拘束時間が六階建てだとすると養育出来る;
$facts$ = fact1: あるものが六階建てでないとすればそれは嫌気性条件下であるし更に統計数字である fact2: 仮になにがしかの物が養育出来ないとすれば凛々しくて統計数字である fact3: ど偉くてそれは刮げるという物はない fact4: あの危篤状態は気安くて加えて情け深い fact5: この抄出は物憂い fact6: その横画面は六階建てである fact7: もしあの御八重は物憂くないかもしくは加速化しないかあるいはどちらもであるとすると不肖だ fact8: 「この拘束時間は汚れ易くないかもしくはそれは養育出来るかまたは両方だ」ということは確かである fact9: 六階建ては養育出来る fact10: もし仮に「この抄出はど偉いしおまけにそれは刮げる」ということは真実でないとしたらあの危篤状態は六階建てでない fact11: あの危篤状態が統計数字だしその上凛々しいとするとこの拘束時間は養育出来ない fact12: もしもあの危篤状態は統計数字でないなら「それは養育出来ないけれど六階建てだ」ということは成り立つということはない fact13: この教育行財政は統計数字だということはない fact14: あの危篤状態は汚れ易くないかもしくは物憂くないかもしくは両方ともだ fact15: 何らかのものは汚れ易くないなら「凛々しくて統計数字だ」ということは嘘でない fact16: 仮にあの危篤状態は汚れ易くないか物憂くないかまたは両方ともであるとしたら凛々しい ; $hypothesis$ = この拘束時間は養育出来る ; $proof$ = 
fact3 -> int1: 「この抄出はど偉くておまけにそれは刮げる」ということは嘘である; int1 & fact10 -> int2: あの危篤状態は六階建てでない; fact1 -> int3: もし仮にあの危篤状態が六階建てでないとしたら嫌気性条件下だし統計数字だ; int2 & int3 -> int4: あの危篤状態は嫌気性条件下だしさらに統計数字だ; int4 -> int5: あの危篤状態は統計数字である; fact16 & fact14 -> int6: あの危篤状態は凛々しい; int5 & int6 -> int7: あの危篤状態は統計数字であるしさらに凛々しい; int7 & fact11 -> hypothesis; __DISPROVED__
事実1: あるものが六階建てでないとすればそれは嫌気性条件下であるし更に統計数字である
事実2: 仮になにがしかの物が養育出来ないとすれば凛々しくて統計数字である
事実3: ど偉くてそれは刮げるという物はない
事実4: あの危篤状態は気安くて加えて情け深い
事実5: この抄出は物憂い
事実6: その横画面は六階建てである
事実7: もしあの御八重は物憂くないかもしくは加速化しないかあるいはどちらもであるとすると不肖だ
事実8: 「この拘束時間は汚れ易くないかもしくはそれは養育出来るかまたは両方だ」ということは確かである
事実9: 六階建ては養育出来る
事実10: もし仮に「この抄出はど偉いしおまけにそれは刮げる」ということは真実でないとしたらあの危篤状態は六階建てでない
事実11: あの危篤状態が統計数字だしその上凛々しいとするとこの拘束時間は養育出来ない
事実12: もしもあの危篤状態は統計数字でないなら「それは養育出来ないけれど六階建てだ」ということは成り立つということはない
事実13: この教育行財政は統計数字だということはない
事実14: あの危篤状態は汚れ易くないかもしくは物憂くないかもしくは両方ともだ
事実15: 何らかのものは汚れ易くないなら「凛々しくて統計数字だ」ということは嘘でない
事実16: 仮にあの危篤状態は汚れ易くないか物憂くないかまたは両方ともであるとしたら凛々しい

仮説: この拘束時間は養育出来る
1. 事実3から、推論1: "「この抄出はど偉くておまけにそれは刮げる」ということは嘘である"が導かれる
2. 推論1と事実10から、推論2: "あの危篤状態は六階建てでない"が導かれる
3. 事実1から、推論3: "もし仮にあの危篤状態が六階建てでないとしたら嫌気性条件下だし統計数字だ"が導かれる
4. 推論2と推論3から、推論4: "あの危篤状態は嫌気性条件下だしさらに統計数字だ"が導かれる
5. 推論4から、推論5: "あの危篤状態は統計数字である"が導かれる
6. 事実16と事実14から、推論6: "あの危篤状態は凛々しい"が導かれる
7. 推論5と推論6から、推論7: "あの危篤状態は統計数字であるしさらに凛々しい"が導かれる
8. 推論7と事実11から、仮説が否定される

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