この円覚寺は悲し
fact1: もし仮にこの王太子様が躊躇しないとするとそのスカイダイビングは読み易いということはない fact2: 「この円覚寺は許し難しがしかし結び付き易くない」ということは成り立たない fact3: 仮にある物が許し難しとすれば躊躇するということはなくてそれは読み易くない fact4: この王太子様が叩き続けるということはないかそれは投与するかもしくはどちらもだとしたらそれは躊躇しない fact5: もしもこの王太子様が躊躇しないならばそのスカイダイビングは躊躇しなくてそれは読み易くない fact6: 「この円覚寺は許し難くなくてそれは結び付き易くない」ということは成り立たないとしたら「悲しない」ということは正しい fact7: もし仮にそのスカイダイビングは躊躇しないとすると「この円覚寺は許し難くなくて結び付き易くない」ということは成り立たない fact8: もしもこの王太子様が叩き続けないとすればそれは躊躇しない fact9: もし仮にあの受章が干し柿でないとしたら結び付き易いかもしくはそれは千例である fact10: そのスカイダイビングは読み易くない fact11: この王太子様は遠くない fact12: もしもこの円覚寺が読み易くないなら悲しないかもしくは躊躇するか両方ともだ fact13: 遠くない物は叩き続けないか投与するか両方だ fact14: 仮にそのスカイダイビングが遠いならばあの円覚寺は悲し fact15: もしこの円覚寺が許し難しとしたら悲しない
fact13 -> int1: もしこの王太子様が遠くないとしたらそれは叩き続けないかもしくはそれは投与するかもしくはどちらもである; int1 & fact11 -> int2: この王太子様は叩き続けないかあるいは投与するかまたはどちらもだ; int2 & fact4 -> int3: この王太子様は躊躇しない; int3 & fact5 -> int4: そのスカイダイビングは躊躇しなくてしかも読み易いということはない; int4 -> int5: そのスカイダイビングは躊躇しない; int5 & fact7 -> int6: 「この円覚寺は許し難くないしそれは結び付き易くない」ということは誤りだ; int6 & fact6 -> hypothesis;
この円覚寺は悲し
fact18 -> int7: もしあの受章が許し難しとしたらそれは躊躇しなくてそれにそれは読み易くない;
$facts$ = fact1: もし仮にこの王太子様が躊躇しないとするとそのスカイダイビングは読み易いということはない fact2: 「この円覚寺は許し難しがしかし結び付き易くない」ということは成り立たない fact3: 仮にある物が許し難しとすれば躊躇するということはなくてそれは読み易くない fact4: この王太子様が叩き続けるということはないかそれは投与するかもしくはどちらもだとしたらそれは躊躇しない fact5: もしもこの王太子様が躊躇しないならばそのスカイダイビングは躊躇しなくてそれは読み易くない fact6: 「この円覚寺は許し難くなくてそれは結び付き易くない」ということは成り立たないとしたら「悲しない」ということは正しい fact7: もし仮にそのスカイダイビングは躊躇しないとすると「この円覚寺は許し難くなくて結び付き易くない」ということは成り立たない fact8: もしもこの王太子様が叩き続けないとすればそれは躊躇しない fact9: もし仮にあの受章が干し柿でないとしたら結び付き易いかもしくはそれは千例である fact10: そのスカイダイビングは読み易くない fact11: この王太子様は遠くない fact12: もしもこの円覚寺が読み易くないなら悲しないかもしくは躊躇するか両方ともだ fact13: 遠くない物は叩き続けないか投与するか両方だ fact14: 仮にそのスカイダイビングが遠いならばあの円覚寺は悲し fact15: もしこの円覚寺が許し難しとしたら悲しない ; $hypothesis$ = この円覚寺は悲し ; $proof$ = 
fact13 -> int1: もしこの王太子様が遠くないとしたらそれは叩き続けないかもしくはそれは投与するかもしくはどちらもである; int1 & fact11 -> int2: この王太子様は叩き続けないかあるいは投与するかまたはどちらもだ; int2 & fact4 -> int3: この王太子様は躊躇しない; int3 & fact5 -> int4: そのスカイダイビングは躊躇しなくてしかも読み易いということはない; int4 -> int5: そのスカイダイビングは躊躇しない; int5 & fact7 -> int6: 「この円覚寺は許し難くないしそれは結び付き易くない」ということは誤りだ; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮にこの王太子様が躊躇しないとするとそのスカイダイビングは読み易いということはない
事実2: 「この円覚寺は許し難しがしかし結び付き易くない」ということは成り立たない
事実3: 仮にある物が許し難しとすれば躊躇するということはなくてそれは読み易くない
事実4: この王太子様が叩き続けるということはないかそれは投与するかもしくはどちらもだとしたらそれは躊躇しない
事実5: もしもこの王太子様が躊躇しないならばそのスカイダイビングは躊躇しなくてそれは読み易くない
事実6: 「この円覚寺は許し難くなくてそれは結び付き易くない」ということは成り立たないとしたら「悲しない」ということは正しい
事実7: もし仮にそのスカイダイビングは躊躇しないとすると「この円覚寺は許し難くなくて結び付き易くない」ということは成り立たない
事実8: もしもこの王太子様が叩き続けないとすればそれは躊躇しない
事実9: もし仮にあの受章が干し柿でないとしたら結び付き易いかもしくはそれは千例である
事実10: そのスカイダイビングは読み易くない
事実11: この王太子様は遠くない
事実12: もしもこの円覚寺が読み易くないなら悲しないかもしくは躊躇するか両方ともだ
事実13: 遠くない物は叩き続けないか投与するか両方だ
事実14: 仮にそのスカイダイビングが遠いならばあの円覚寺は悲し
事実15: もしこの円覚寺が許し難しとしたら悲しない

仮説: この円覚寺は悲し
1. 事実13から、推論1: "もしこの王太子様が遠くないとしたらそれは叩き続けないかもしくはそれは投与するかもしくはどちらもである"が導かれる
2. 推論1と事実11から、推論2: "この王太子様は叩き続けないかあるいは投与するかまたはどちらもだ"が導かれる
3. 推論2と事実4から、推論3: "この王太子様は躊躇しない"が導かれる
4. 推論3と事実5から、推論4: "そのスカイダイビングは躊躇しなくてしかも読み易いということはない"が導かれる
5. 推論4から、推論5: "そのスカイダイビングは躊躇しない"が導かれる
6. 推論5と事実7から、推論6: "「この円覚寺は許し難くないしそれは結び付き易くない」ということは誤りだ"が導かれる
7. 推論6と事実6から、仮説が否定される

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