この人間観は急進派だ
fact1: もし仮に「その交渉経過は枝垂れ桜でないが調整区域である」ということは確かであるということはないならばあのＡＩＤＳ患者は調整区域だ fact2: もし仮にあのＡＩＤＳ患者は調整区域であるなら「その買春は調整区域でない」ということは確かである fact3: この無断外出は遠回りする fact4: この無断外出は気安くないしさらに酷くない fact5: あのＡＩＤＳ患者は嬉しくてかつ調整区域だ fact6: あのモーショントゥイーンは遠回りする fact7: もしもこの無断外出が気安くないとするとこの人間観は基準面積でないしそれにそれは小気味良くない fact8: もしもこの四つ折が枝垂れ桜で遠回りするとすればこの人間観は急進派でない fact9: もしもあのＡＩＤＳ患者が嬉しいとすればその交渉経過は黒っぽい fact10: 仮にこの四つ折は黒っぽいとすれば「その交渉経過は枝垂れ桜だということはないが調整区域である」ということは成り立たない fact11: もし仮にその交渉経過は黒っぽいとすると「この四つ折は枝垂れ桜だ」ということは成り立つ fact12: もし仮に何らかの物は調整区域でないとすると急進派だしさらに嬉しい fact13: もしもこの人間観が遠回りするとすればこの四つ折は黒っぽい fact14: もしこの無断外出が遠回りするとしたらこの四つ折は遠回りする fact15: もしも何らかの物が小気味良くないならばそれは遠回りするしそれは合併し易い
fact5 -> int1: あのＡＩＤＳ患者は嬉しい; int1 & fact9 -> int2: その交渉経過は黒っぽい; int2 & fact11 -> int3: この四つ折は枝垂れ桜だ; fact14 & fact3 -> int4: この四つ折は遠回りする; int3 & int4 -> int5: この四つ折は枝垂れ桜で遠回りする; int5 & fact8 -> hypothesis;
その買春は急進派である
fact19 -> int6: もしもその買春が調整区域でないとするとそれは急進派であるししかも嬉しい; fact22 -> int7: もしこの人間観が小気味良くないとすれば遠回りするし合併し易い; fact20 -> int8: この無断外出は気安くない; fact23 & int8 -> int9: この人間観は基準面積でなくてその上それは小気味良くない; int9 -> int10: この人間観は小気味良くない; int7 & int10 -> int11: この人間観は遠回りするし合併し易い; int11 -> int12: この人間観は遠回りする; fact18 & int12 -> int13: 「この四つ折は黒っぽい」ということは真実だ; fact16 & int13 -> int14: 「その交渉経過は枝垂れ桜でない一方で調整区域だ」ということは成り立つということはない; fact21 & int14 -> int15: あのＡＩＤＳ患者は調整区域だ; fact17 & int15 -> int16: その買春は調整区域でない; int6 & int16 -> int17: その買春は急進派で更に嬉しい; int17 -> hypothesis;
$facts$ = fact1: もし仮に「その交渉経過は枝垂れ桜でないが調整区域である」ということは確かであるということはないならばあのＡＩＤＳ患者は調整区域だ fact2: もし仮にあのＡＩＤＳ患者は調整区域であるなら「その買春は調整区域でない」ということは確かである fact3: この無断外出は遠回りする fact4: この無断外出は気安くないしさらに酷くない fact5: あのＡＩＤＳ患者は嬉しくてかつ調整区域だ fact6: あのモーショントゥイーンは遠回りする fact7: もしもこの無断外出が気安くないとするとこの人間観は基準面積でないしそれにそれは小気味良くない fact8: もしもこの四つ折が枝垂れ桜で遠回りするとすればこの人間観は急進派でない fact9: もしもあのＡＩＤＳ患者が嬉しいとすればその交渉経過は黒っぽい fact10: 仮にこの四つ折は黒っぽいとすれば「その交渉経過は枝垂れ桜だということはないが調整区域である」ということは成り立たない fact11: もし仮にその交渉経過は黒っぽいとすると「この四つ折は枝垂れ桜だ」ということは成り立つ fact12: もし仮に何らかの物は調整区域でないとすると急進派だしさらに嬉しい fact13: もしもこの人間観が遠回りするとすればこの四つ折は黒っぽい fact14: もしこの無断外出が遠回りするとしたらこの四つ折は遠回りする fact15: もしも何らかの物が小気味良くないならばそれは遠回りするしそれは合併し易い ; $hypothesis$ = この人間観は急進派だ ; $proof$ = 
fact5 -> int1: あのＡＩＤＳ患者は嬉しい; int1 & fact9 -> int2: その交渉経過は黒っぽい; int2 & fact11 -> int3: この四つ折は枝垂れ桜だ; fact14 & fact3 -> int4: この四つ折は遠回りする; int3 & int4 -> int5: この四つ折は枝垂れ桜で遠回りする; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮に「その交渉経過は枝垂れ桜でないが調整区域である」ということは確かであるということはないならばあのＡＩＤＳ患者は調整区域だ
事実2: もし仮にあのＡＩＤＳ患者は調整区域であるなら「その買春は調整区域でない」ということは確かである
事実3: この無断外出は遠回りする
事実4: この無断外出は気安くないしさらに酷くない
事実5: あのＡＩＤＳ患者は嬉しくてかつ調整区域だ
事実6: あのモーショントゥイーンは遠回りする
事実7: もしもこの無断外出が気安くないとするとこの人間観は基準面積でないしそれにそれは小気味良くない
事実8: もしもこの四つ折が枝垂れ桜で遠回りするとすればこの人間観は急進派でない
事実9: もしもあのＡＩＤＳ患者が嬉しいとすればその交渉経過は黒っぽい
事実10: 仮にこの四つ折は黒っぽいとすれば「その交渉経過は枝垂れ桜だということはないが調整区域である」ということは成り立たない
事実11: もし仮にその交渉経過は黒っぽいとすると「この四つ折は枝垂れ桜だ」ということは成り立つ
事実12: もし仮に何らかの物は調整区域でないとすると急進派だしさらに嬉しい
事実13: もしもこの人間観が遠回りするとすればこの四つ折は黒っぽい
事実14: もしこの無断外出が遠回りするとしたらこの四つ折は遠回りする
事実15: もしも何らかの物が小気味良くないならばそれは遠回りするしそれは合併し易い

仮説: この人間観は急進派だ
1. 事実5から、推論1: "あのＡＩＤＳ患者は嬉しい"が導かれる
2. 推論1と事実9から、推論2: "その交渉経過は黒っぽい"が導かれる
3. 推論2と事実11から、推論3: "この四つ折は枝垂れ桜だ"が導かれる
4. 事実14と事実3から、推論4: "この四つ折は遠回りする"が導かれる
5. 推論3と推論4から、推論5: "この四つ折は枝垂れ桜で遠回りする"が導かれる
6. 推論5と事実8から、仮説が否定される

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