「その山脈は森林破壊であるということはない」ということは正しい
fact1: もし仮になにかは穴掘りだということはない一方で一部上場企業であるとすれば三枚ブレードでない fact2: 「「執念深いし更に侵入し易い」ということは確かでない」物はある fact3: 仮に「「執念深くて侵入し易い」ということは成り立つということはない」物があるとしたらその農産は厳つい fact4: 仮にあるものは経済指標であるとするとそれは御会い出来る fact5: もしも何らかの物は三枚ブレードでないならばそれは御会い出来るということはなくてしかも経済指標でない fact6: もしも「その山脈は御会い出来るがしかしそれは穴掘りでない」ということは偽であるなら「そのベッカー・ブレートヘンは御会い出来る」ということは事実だ fact7: もしもその農産が厳ついならその住宅資金貸し付け契約は厳つい fact8: もし仮に何かは三枚ブレードでないとすると「御会い出来るしかつそれは穴掘りでない」ということは間違いだ fact9: その前掲積極説は調査班である fact10: もしもこの運搬手段が森林破壊だということはないとするとその山脈は森林破壊でない fact11: もし仮に「この運搬手段は請け出さないし更に一部上場企業でない」ということは成り立つということはないならばその山脈は三枚ブレードでない fact12: なにがしかの物が御会い出来れば三枚ブレードであるかもしくは調査班でないかあるいは両方ともだ fact13: えぐい物は都市改造事業だ fact14: もし仮に何かは御会い出来るなら「「経済指標でなくてかつ調査班でない」ということは成り立つ」ということは成り立つということはない fact15: もしもあの営業妨害が請け出すならこの運搬手段は請け出さない fact16: その山脈は調査班である fact17: この薬害訴訟は調査班だ fact18: その山脈は経済指標であるしまた調査班だ fact19: もしなにがしかの物が経済指標でないとしたら森林破壊でないかまたはそれは調査班でないかもしくはどちらもだ fact20: もしその住宅資金貸し付け契約が厳ついとしたらあの営業妨害は請け出す fact21: もしこの運搬手段が調査班でないとしたらその山脈は森林破壊でないし経済指標でない fact22: もし仮に何らかのものが御会い出来るとすれば森林破壊である
fact18 -> int1: その山脈は経済指標である; fact4 -> int2: 仮にその山脈は経済指標だとすれば「それは御会い出来る」ということは本当だ; int1 & int2 -> int3: その山脈は御会い出来る; fact22 -> int4: もしその山脈が御会い出来るとするとそれは森林破壊だ; int3 & int4 -> hypothesis;
その山脈は森林破壊でない
fact28 -> int5: この運搬手段は経済指標でないとするとそれは森林破壊でないか調査班でないかもしくはどちらもだ; fact27 -> int6: 仮にこの運搬手段は三枚ブレードでないとすれば「それは御会い出来るということはなくて経済指標でない」ということは確かである; fact25 -> int7: もしこの運搬手段が穴掘りであるということはないけど一部上場企業ならば三枚ブレードでない; fact23 & fact26 -> int8: その農産は厳つい; fact29 & int8 -> int9: 「その住宅資金貸し付け契約は厳つい」ということは誤っていない; fact24 & int9 -> int10: あの営業妨害は請け出す; fact31 & int10 -> int11: この運搬手段は請け出さない;
$facts$ = fact1: もし仮になにかは穴掘りだということはない一方で一部上場企業であるとすれば三枚ブレードでない fact2: 「「執念深いし更に侵入し易い」ということは確かでない」物はある fact3: 仮に「「執念深くて侵入し易い」ということは成り立つということはない」物があるとしたらその農産は厳つい fact4: 仮にあるものは経済指標であるとするとそれは御会い出来る fact5: もしも何らかの物は三枚ブレードでないならばそれは御会い出来るということはなくてしかも経済指標でない fact6: もしも「その山脈は御会い出来るがしかしそれは穴掘りでない」ということは偽であるなら「そのベッカー・ブレートヘンは御会い出来る」ということは事実だ fact7: もしもその農産が厳ついならその住宅資金貸し付け契約は厳つい fact8: もし仮に何かは三枚ブレードでないとすると「御会い出来るしかつそれは穴掘りでない」ということは間違いだ fact9: その前掲積極説は調査班である fact10: もしもこの運搬手段が森林破壊だということはないとするとその山脈は森林破壊でない fact11: もし仮に「この運搬手段は請け出さないし更に一部上場企業でない」ということは成り立つということはないならばその山脈は三枚ブレードでない fact12: なにがしかの物が御会い出来れば三枚ブレードであるかもしくは調査班でないかあるいは両方ともだ fact13: えぐい物は都市改造事業だ fact14: もし仮に何かは御会い出来るなら「「経済指標でなくてかつ調査班でない」ということは成り立つ」ということは成り立つということはない fact15: もしもあの営業妨害が請け出すならこの運搬手段は請け出さない fact16: その山脈は調査班である fact17: この薬害訴訟は調査班だ fact18: その山脈は経済指標であるしまた調査班だ fact19: もしなにがしかの物が経済指標でないとしたら森林破壊でないかまたはそれは調査班でないかもしくはどちらもだ fact20: もしその住宅資金貸し付け契約が厳ついとしたらあの営業妨害は請け出す fact21: もしこの運搬手段が調査班でないとしたらその山脈は森林破壊でないし経済指標でない fact22: もし仮に何らかのものが御会い出来るとすれば森林破壊である ; $hypothesis$ = 「その山脈は森林破壊であるということはない」ということは正しい ; $proof$ = 
fact18 -> int1: その山脈は経済指標である; fact4 -> int2: 仮にその山脈は経済指標だとすれば「それは御会い出来る」ということは本当だ; int1 & int2 -> int3: その山脈は御会い出来る; fact22 -> int4: もしその山脈が御会い出来るとするとそれは森林破壊だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは穴掘りだということはない一方で一部上場企業であるとすれば三枚ブレードでない
事実2: 「「執念深いし更に侵入し易い」ということは確かでない」物はある
事実3: 仮に「「執念深くて侵入し易い」ということは成り立つということはない」物があるとしたらその農産は厳つい
事実4: 仮にあるものは経済指標であるとするとそれは御会い出来る
事実5: もしも何らかの物は三枚ブレードでないならばそれは御会い出来るということはなくてしかも経済指標でない
事実6: もしも「その山脈は御会い出来るがしかしそれは穴掘りでない」ということは偽であるなら「そのベッカー・ブレートヘンは御会い出来る」ということは事実だ
事実7: もしもその農産が厳ついならその住宅資金貸し付け契約は厳つい
事実8: もし仮に何かは三枚ブレードでないとすると「御会い出来るしかつそれは穴掘りでない」ということは間違いだ
事実9: その前掲積極説は調査班である
事実10: もしもこの運搬手段が森林破壊だということはないとするとその山脈は森林破壊でない
事実11: もし仮に「この運搬手段は請け出さないし更に一部上場企業でない」ということは成り立つということはないならばその山脈は三枚ブレードでない
事実12: なにがしかの物が御会い出来れば三枚ブレードであるかもしくは調査班でないかあるいは両方ともだ
事実13: えぐい物は都市改造事業だ
事実14: もし仮に何かは御会い出来るなら「「経済指標でなくてかつ調査班でない」ということは成り立つ」ということは成り立つということはない
事実15: もしもあの営業妨害が請け出すならこの運搬手段は請け出さない
事実16: その山脈は調査班である
事実17: この薬害訴訟は調査班だ
事実18: その山脈は経済指標であるしまた調査班だ
事実19: もしなにがしかの物が経済指標でないとしたら森林破壊でないかまたはそれは調査班でないかもしくはどちらもだ
事実20: もしその住宅資金貸し付け契約が厳ついとしたらあの営業妨害は請け出す
事実21: もしこの運搬手段が調査班でないとしたらその山脈は森林破壊でないし経済指標でない
事実22: もし仮に何らかのものが御会い出来るとすれば森林破壊である

仮説: 「その山脈は森林破壊であるということはない」ということは正しい
1. 事実18から、推論1: "その山脈は経済指標である"が導かれる
2. 事実4から、推論2: "仮にその山脈は経済指標だとすれば「それは御会い出来る」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "その山脈は御会い出来る"が導かれる
4. 事実22から、推論4: "もしその山脈が御会い出来るとするとそれは森林破壊だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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