その獣道は座視するしそれは身軽い
fact1: その中外合作は敢え無いがしかし古代史でない fact2: もし「何らかの物は身軽くないしまた座視しない」ということは事実と異なるとすると「それは余儀無い」ということは偽でない fact3: もし仮になんらかの物が喜ばしいならば座視する fact4: 仮にある物は喜ばしいなら「それは身軽くないし加えて座視しない」ということは誤りだ fact5: その中外合作は拘束す fact6: 「あの密林は厚しということはないが益無し」ということは成り立つ fact7: 仮にその中外合作が拘束すとするとその獣道は喜ばしい fact8: もしもその獣道が敢え無いということはないならばあの現役復帰が喜ばしいしその上拘束す fact9: あの密林は厚しない fact10: もし仮にあの密林が益無しならその獣道は身軽い fact11: その相談員は座視する fact12: 「仮に「「益無しということはないかもしくは厚し」ということは成り立たない」ものがあるとしたらあの現役復帰は人恋しい」ということは成り立つ fact13: 仮にその中外合作が敢え無いがしかし古代史でないとしたらその獣道は敢え無くない
fact6 -> int1: あの密林は益無し; int1 & fact10 -> int2: その獣道は身軽い; fact3 -> int3: 仮に「その獣道は喜ばしい」ということは事実であるとするとそれは座視する; fact5 & fact7 -> int4: その獣道は喜ばしい; int3 & int4 -> int5: その獣道は座視する; int2 & int5 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact10 -> int2: {C}{b}; fact3 -> int3: {E}{b} -> {D}{b}; fact5 & fact7 -> int4: {E}{b}; int3 & int4 -> int5: {D}{b}; int2 & int5 -> hypothesis;
あの現役復帰は人恋しいし余儀無い
fact18 -> int6: もし「あの現役復帰は身軽くないししかも座視しない」ということは偽であるとすればそれは余儀無い; fact16 -> int7: もしあの現役復帰は喜ばしいとすると「身軽くないしそれに座視しない」ということは成り立たない; fact17 & fact14 -> int8: その獣道は敢え無いということはない; fact15 & int8 -> int9: あの現役復帰は喜ばしくて拘束す; int9 -> int10: あの現役復帰は喜ばしい; int7 & int10 -> int11: 「あの現役復帰は身軽くないし座視するということはない」ということは成り立つということはない; int6 & int11 -> int12: あの現役復帰は余儀無い;
$facts$ = fact1: その中外合作は敢え無いがしかし古代史でない fact2: もし「何らかの物は身軽くないしまた座視しない」ということは事実と異なるとすると「それは余儀無い」ということは偽でない fact3: もし仮になんらかの物が喜ばしいならば座視する fact4: 仮にある物は喜ばしいなら「それは身軽くないし加えて座視しない」ということは誤りだ fact5: その中外合作は拘束す fact6: 「あの密林は厚しということはないが益無し」ということは成り立つ fact7: 仮にその中外合作が拘束すとするとその獣道は喜ばしい fact8: もしもその獣道が敢え無いということはないならばあの現役復帰が喜ばしいしその上拘束す fact9: あの密林は厚しない fact10: もし仮にあの密林が益無しならその獣道は身軽い fact11: その相談員は座視する fact12: 「仮に「「益無しということはないかもしくは厚し」ということは成り立たない」ものがあるとしたらあの現役復帰は人恋しい」ということは成り立つ fact13: 仮にその中外合作が敢え無いがしかし古代史でないとしたらその獣道は敢え無くない ; $hypothesis$ = その獣道は座視するしそれは身軽い ; $proof$ = 
fact6 -> int1: あの密林は益無し; int1 & fact10 -> int2: その獣道は身軽い; fact3 -> int3: 仮に「その獣道は喜ばしい」ということは事実であるとするとそれは座視する; fact5 & fact7 -> int4: その獣道は喜ばしい; int3 & int4 -> int5: その獣道は座視する; int2 & int5 -> hypothesis; __PROVED__
事実1: その中外合作は敢え無いがしかし古代史でない
事実2: もし「何らかの物は身軽くないしまた座視しない」ということは事実と異なるとすると「それは余儀無い」ということは偽でない
事実3: もし仮になんらかの物が喜ばしいならば座視する
事実4: 仮にある物は喜ばしいなら「それは身軽くないし加えて座視しない」ということは誤りだ
事実5: その中外合作は拘束す
事実6: 「あの密林は厚しということはないが益無し」ということは成り立つ
事実7: 仮にその中外合作が拘束すとするとその獣道は喜ばしい
事実8: もしもその獣道が敢え無いということはないならばあの現役復帰が喜ばしいしその上拘束す
事実9: あの密林は厚しない
事実10: もし仮にあの密林が益無しならその獣道は身軽い
事実11: その相談員は座視する
事実12: 「仮に「「益無しということはないかもしくは厚し」ということは成り立たない」ものがあるとしたらあの現役復帰は人恋しい」ということは成り立つ
事実13: 仮にその中外合作が敢え無いがしかし古代史でないとしたらその獣道は敢え無くない

仮説: その獣道は座視するしそれは身軽い
1. 事実6から、推論1: "あの密林は益無し"が導かれる
2. 推論1と事実10から、推論2: "その獣道は身軽い"が導かれる
3. 事実3から、推論3: "仮に「その獣道は喜ばしい」ということは事実であるとするとそれは座視する"が導かれる
4. 事実5と事実7から、推論4: "その獣道は喜ばしい"が導かれる
5. 推論3と推論4から、推論5: "その獣道は座視する"が導かれる
6. 推論2と推論5から、仮説が導かれる

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