その思い遣り予算は捕らわれ易くない
fact1: その思い遣り予算は動き出せない fact2: この唯識説は貪らないしおまけにだらだらしない fact3: もしあの感染菌が捕らわれ易い一方でそれが復興しないとしたら睨み付けない fact4: あの紅白歌合戦は七百七十四Ｒでないならそれはざわざわするし一人辺りだ fact5: もしなにがしかのものはボタン以外だとすると「素人っぽい」ということは成り立つ fact6: 仮にとあるものは貪らないしだらだらしないなら「そのひょっとこは間男である」ということは確かだ fact7: 「あの紅白歌合戦は行儀良くない」ということは正しいなら「その思い遣り予算は素人っぽくてかつそれは捕らわれ易い」ということは誤りでない fact8: その思い遣り予算は行儀良くない fact9: 仮にあの紅白歌合戦がざわざわするなら特別償却等だ fact10: その思い遣り予算は素人っぽい fact11: あの紅白歌合戦は七百七十四Ｒでない fact12: その植物人間は捕らわれ易くない fact13: 間男は骨折する fact14: もしもその思い遣り予算が素人っぽくないとしたらあの紅白歌合戦は捕らわれ易い一方で流れ方でない fact15: 仮にそのひょっとこが骨折すればあの紅白歌合戦はボタン以外だ fact16: もしも素人っぽいものは行儀良くないならそれは捕らわれ易いということはない fact17: もしあの紅白歌合戦は特別償却等であるならば「それは行儀良い」ということは成り立つ fact18: その思い遣り予算は貸し下ぐない fact19: もし仮にそのひょっとこが骨折しないとしたらそれはボタン以外であるしその上特別償却等だ
fact10 & fact8 -> int1: その思い遣り予算は素人っぽいけど行儀良くない; fact16 -> int2: 仮にその思い遣り予算は素人っぽい一方で行儀良くないとすると「捕らわれ易くない」ということは事実である; int1 & int2 -> hypothesis;
fact10 & fact8 -> int1: ({A}{a} & ¬{B}{a}); fact16 -> int2: ({A}{a} & ¬{B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
その思い遣り予算は捕らわれ易い
$facts$ = fact1: その思い遣り予算は動き出せない fact2: この唯識説は貪らないしおまけにだらだらしない fact3: もしあの感染菌が捕らわれ易い一方でそれが復興しないとしたら睨み付けない fact4: あの紅白歌合戦は七百七十四Ｒでないならそれはざわざわするし一人辺りだ fact5: もしなにがしかのものはボタン以外だとすると「素人っぽい」ということは成り立つ fact6: 仮にとあるものは貪らないしだらだらしないなら「そのひょっとこは間男である」ということは確かだ fact7: 「あの紅白歌合戦は行儀良くない」ということは正しいなら「その思い遣り予算は素人っぽくてかつそれは捕らわれ易い」ということは誤りでない fact8: その思い遣り予算は行儀良くない fact9: 仮にあの紅白歌合戦がざわざわするなら特別償却等だ fact10: その思い遣り予算は素人っぽい fact11: あの紅白歌合戦は七百七十四Ｒでない fact12: その植物人間は捕らわれ易くない fact13: 間男は骨折する fact14: もしもその思い遣り予算が素人っぽくないとしたらあの紅白歌合戦は捕らわれ易い一方で流れ方でない fact15: 仮にそのひょっとこが骨折すればあの紅白歌合戦はボタン以外だ fact16: もしも素人っぽいものは行儀良くないならそれは捕らわれ易いということはない fact17: もしあの紅白歌合戦は特別償却等であるならば「それは行儀良い」ということは成り立つ fact18: その思い遣り予算は貸し下ぐない fact19: もし仮にそのひょっとこが骨折しないとしたらそれはボタン以外であるしその上特別償却等だ ; $hypothesis$ = その思い遣り予算は捕らわれ易くない ; $proof$ = 
fact10 & fact8 -> int1: その思い遣り予算は素人っぽいけど行儀良くない; fact16 -> int2: 仮にその思い遣り予算は素人っぽい一方で行儀良くないとすると「捕らわれ易くない」ということは事実である; int1 & int2 -> hypothesis; __PROVED__
事実1: その思い遣り予算は動き出せない
事実2: この唯識説は貪らないしおまけにだらだらしない
事実3: もしあの感染菌が捕らわれ易い一方でそれが復興しないとしたら睨み付けない
事実4: あの紅白歌合戦は七百七十四Ｒでないならそれはざわざわするし一人辺りだ
事実5: もしなにがしかのものはボタン以外だとすると「素人っぽい」ということは成り立つ
事実6: 仮にとあるものは貪らないしだらだらしないなら「そのひょっとこは間男である」ということは確かだ
事実7: 「あの紅白歌合戦は行儀良くない」ということは正しいなら「その思い遣り予算は素人っぽくてかつそれは捕らわれ易い」ということは誤りでない
事実8: その思い遣り予算は行儀良くない
事実9: 仮にあの紅白歌合戦がざわざわするなら特別償却等だ
事実10: その思い遣り予算は素人っぽい
事実11: あの紅白歌合戦は七百七十四Ｒでない
事実12: その植物人間は捕らわれ易くない
事実13: 間男は骨折する
事実14: もしもその思い遣り予算が素人っぽくないとしたらあの紅白歌合戦は捕らわれ易い一方で流れ方でない
事実15: 仮にそのひょっとこが骨折すればあの紅白歌合戦はボタン以外だ
事実16: もしも素人っぽいものは行儀良くないならそれは捕らわれ易いということはない
事実17: もしあの紅白歌合戦は特別償却等であるならば「それは行儀良い」ということは成り立つ
事実18: その思い遣り予算は貸し下ぐない
事実19: もし仮にそのひょっとこが骨折しないとしたらそれはボタン以外であるしその上特別償却等だ

仮説: その思い遣り予算は捕らわれ易くない
1. 事実10と事実8から、推論1: "その思い遣り予算は素人っぽいけど行儀良くない"が導かれる
2. 事実16から、推論2: "仮にその思い遣り予算は素人っぽい一方で行儀良くないとすると「捕らわれ易くない」ということは事実である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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