この三本指は弾き返さない
fact1: もし仮にこの三本指が言い易いとすればそれは託つということはなくてかつ依存出来ない fact2: 「その第三者方払い文句は日本らしい」ということは偽だ fact3: この三本指は言い易い fact4: もし仮にある物が託つということはないし依存出来ないとすればそれは航行する fact5: 「その第三者方払い文句は造成しない」ということは成り立つならこの三本指は造成するということはないが寒々しい fact6: もしなんらかの物は花狩りであるならば造成する fact7: 仮に寒々しいものが航行すればそれは弾き返さない fact8: 仮になんらかの物が託つし更にそれが造成するならそれは花狩りでない fact9: この御成りは託たない fact10: もしも何らかのものが造成するとするとそれは弾き返す fact11: 仮にその第三者方払い文句が依存出来ないとするとこの三本指は依存出来ないけど花狩りである fact12: 「その第三者方払い文句は造成しなくてそれは花狩りでない」ということは事実である fact13: もし仮にその第三者方払い文句が寒々しいならばそれは根方でない fact14: もし仮にあるものは託たないけど依存出来るなら「それは言い易い」ということは正しい fact15: 寒々しかないものは航行するしおまけに花狩りである fact16: 「あの地上生活は託つということはない」ということは本当であるということはない
fact12 -> int1: その第三者方払い文句は造成しない; int1 & fact5 -> int2: この三本指は造成しないがしかし寒々しい; int2 -> int3: この三本指は寒々しい; fact4 -> int4: この三本指が託たなくてそれに依存出来ないとすればそれは航行する; fact3 & fact1 -> int5: この三本指は託たないし依存出来ない; int4 & int5 -> int6: この三本指は航行する; int3 & int6 -> int7: この三本指は寒々しいしそれは航行する; fact7 -> int8: 仮にこの三本指が寒々しいしその上航行するとしたらそれは弾き返すということはない; int7 & int8 -> hypothesis;
この三本指は弾き返す
fact17 -> int9: この三本指が造成するとするとそれは弾き返す; fact19 -> int10: もしもこの三本指は花狩りだとすると「造成する」ということは正しい; fact18 -> int11: もし仮に「この三本指は寒々しかない」ということは成り立つなら航行するし花狩りだ;
$facts$ = fact1: もし仮にこの三本指が言い易いとすればそれは託つということはなくてかつ依存出来ない fact2: 「その第三者方払い文句は日本らしい」ということは偽だ fact3: この三本指は言い易い fact4: もし仮にある物が託つということはないし依存出来ないとすればそれは航行する fact5: 「その第三者方払い文句は造成しない」ということは成り立つならこの三本指は造成するということはないが寒々しい fact6: もしなんらかの物は花狩りであるならば造成する fact7: 仮に寒々しいものが航行すればそれは弾き返さない fact8: 仮になんらかの物が託つし更にそれが造成するならそれは花狩りでない fact9: この御成りは託たない fact10: もしも何らかのものが造成するとするとそれは弾き返す fact11: 仮にその第三者方払い文句が依存出来ないとするとこの三本指は依存出来ないけど花狩りである fact12: 「その第三者方払い文句は造成しなくてそれは花狩りでない」ということは事実である fact13: もし仮にその第三者方払い文句が寒々しいならばそれは根方でない fact14: もし仮にあるものは託たないけど依存出来るなら「それは言い易い」ということは正しい fact15: 寒々しかないものは航行するしおまけに花狩りである fact16: 「あの地上生活は託つということはない」ということは本当であるということはない ; $hypothesis$ = この三本指は弾き返さない ; $proof$ = 
fact12 -> int1: その第三者方払い文句は造成しない; int1 & fact5 -> int2: この三本指は造成しないがしかし寒々しい; int2 -> int3: この三本指は寒々しい; fact4 -> int4: この三本指が託たなくてそれに依存出来ないとすればそれは航行する; fact3 & fact1 -> int5: この三本指は託たないし依存出来ない; int4 & int5 -> int6: この三本指は航行する; int3 & int6 -> int7: この三本指は寒々しいしそれは航行する; fact7 -> int8: 仮にこの三本指が寒々しいしその上航行するとしたらそれは弾き返すということはない; int7 & int8 -> hypothesis; __PROVED__
事実1: もし仮にこの三本指が言い易いとすればそれは託つということはなくてかつ依存出来ない
事実2: 「その第三者方払い文句は日本らしい」ということは偽だ
事実3: この三本指は言い易い
事実4: もし仮にある物が託つということはないし依存出来ないとすればそれは航行する
事実5: 「その第三者方払い文句は造成しない」ということは成り立つならこの三本指は造成するということはないが寒々しい
事実6: もしなんらかの物は花狩りであるならば造成する
事実7: 仮に寒々しいものが航行すればそれは弾き返さない
事実8: 仮になんらかの物が託つし更にそれが造成するならそれは花狩りでない
事実9: この御成りは託たない
事実10: もしも何らかのものが造成するとするとそれは弾き返す
事実11: 仮にその第三者方払い文句が依存出来ないとするとこの三本指は依存出来ないけど花狩りである
事実12: 「その第三者方払い文句は造成しなくてそれは花狩りでない」ということは事実である
事実13: もし仮にその第三者方払い文句が寒々しいならばそれは根方でない
事実14: もし仮にあるものは託たないけど依存出来るなら「それは言い易い」ということは正しい
事実15: 寒々しかないものは航行するしおまけに花狩りである
事実16: 「あの地上生活は託つということはない」ということは本当であるということはない

仮説: この三本指は弾き返さない
1. 事実12から、推論1: "その第三者方払い文句は造成しない"が導かれる
2. 推論1と事実5から、推論2: "この三本指は造成しないがしかし寒々しい"が導かれる
3. 推論2から、推論3: "この三本指は寒々しい"が導かれる
4. 事実4から、推論4: "この三本指が託たなくてそれに依存出来ないとすればそれは航行する"が導かれる
5. 事実3と事実1から、推論5: "この三本指は託たないし依存出来ない"が導かれる
6. 推論4と推論5から、推論6: "この三本指は航行する"が導かれる
7. 推論3と推論6から、推論7: "この三本指は寒々しいしそれは航行する"が導かれる
8. 事実7から、推論8: "仮にこの三本指が寒々しいしその上航行するとしたらそれは弾き返すということはない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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