「この吉相は助命するけれどそわそわしない」ということは誤っている
fact1: そのタクシードライバーは取れ易い fact2: 仮にその学説は手緩くないなら「この吉相は助命する一方でそれはそわそわしない」ということは間違いだ fact3: もし仮に「あの花崗岩体は板の間でないし言い易くない」ということは成り立たないならあの農産は奉戴する fact4: もし仮に「そのタクシードライバーはしゅんとしない」ということは成り立たないとすると追求する fact5: その学説は参照頂くが着せがましかない fact6: その学説は着せがましかない fact7: もしもその学説は外し易いけれど着せがましかないとするとそれは手緩くない fact8: 仮に「何らかの物はアウトソーシングするけど軟らかくない」ということは成り立たないとすると「それはアウトソーシングする」ということは真実でない fact9: もし仮になんらかのものはアウトソーシングするということはないならば「それは有るらしくないけど得られ易い」ということは本当でない fact10: その学説は外し易いけど着せがましかない fact11: 「その話し相手は適刺激だけれどそれは宮様でない」ということは誤っている fact12: 仮にとあるものはパッセージならば「板の間でなくてかつ言い易くない」ということは嘘である fact13: 「「あるものは分析・考察するがしかしパッセージでない」ということは成り立たないとするとパッセージだ」ということは成り立つ fact14: そのタクシードライバーが追求するし加えて取れ易いとすれば「あの花崗岩体は追求する」ということは間違いである fact15: 有るらしいものは手緩い fact16: 「その話し相手は適刺激であるがそれは宮様でない」ということは偽であるとするとそのタクシードライバーはしゅんとする fact17: もしあの農産は奉戴するとすると「この外務省員は名残惜しい」ということは成り立つ fact18: もし仮に「その学説は手緩くない」ということは成り立つなら「この吉相は助命するし更にそわそわする」ということは嘘だ fact19: もし仮にこの外務省員は名残惜しいとすると「その学説はアウトソーシングするけど軟らかくない」ということは事実でない fact20: 仮に何らかの物が手緩いなら助命するしそれはそわそわしない fact21: もし仮になにがしかのものは追求しないならば「それは分析・考察するしパッセージであるということはない」ということは確かでない
fact7 & fact10 -> int1: その学説は手緩くない; int1 & fact2 -> hypothesis;
fact7 & fact10 -> int1: ¬{B}{a}; int1 & fact2 -> hypothesis;
「この吉相は助命するがしかしそれはそわそわしない」ということは本当だ
fact31 -> int2: この吉相が手緩いとすればそれは助命するしそわそわしない; fact23 -> int3: もしもこの吉相が有るらしいとしたらそれは手緩い; fact33 -> int4: もしその学説はアウトソーシングしないとすると「有るらしくないがしかし得られ易い」ということは成り立つということはない; fact30 -> int5: 「その学説はアウトソーシングするけど軟らかいということはない」ということは嘘だとするとアウトソーシングしない; fact27 -> int6: もしもあの花崗岩体はパッセージだとすれば「それは板の間でなくてまた言い易くない」ということは誤っている; fact24 -> int7: もし仮に「あの花崗岩体は分析・考察する一方でパッセージでない」ということは間違いだとしたら「それはパッセージだ」ということは確かだ; fact25 -> int8: もしあの花崗岩体は追求しないとしたら「分析・考察するしおまけにパッセージでない」ということは成り立たない; fact35 & fact32 -> int9: そのタクシードライバーはしゅんとする; fact22 & int9 -> int10: そのタクシードライバーは追求する; int10 & fact28 -> int11: そのタクシードライバーは追求するしそれは取れ易い; fact34 & int11 -> int12: あの花崗岩体は追求するということはない; int8 & int12 -> int13: 「「あの花崗岩体は分析・考察するがしかしパッセージでない」ということは成り立たない」ということは事実だ; int7 & int13 -> int14: あの花崗岩体はパッセージである; int6 & int14 -> int15: 「あの花崗岩体は板の間でなくてそれは言い易くない」ということは嘘だ; fact29 & int15 -> int16: あの農産は奉戴する; fact36 & int16 -> int17: この外務省員は名残惜しい; fact26 & int17 -> int18: 「その学説はアウトソーシングするけど軟らかくない」ということは間違いだ; int5 & int18 -> int19: その学説はアウトソーシングしない; int4 & int19 -> int20: 「その学説は有るらしくないが得られ易い」ということは成り立たない; int20 -> int21: 「「有るらしくないしさらに得られ易い」ということは間違いな」物はある;
$facts$ = fact1: そのタクシードライバーは取れ易い fact2: 仮にその学説は手緩くないなら「この吉相は助命する一方でそれはそわそわしない」ということは間違いだ fact3: もし仮に「あの花崗岩体は板の間でないし言い易くない」ということは成り立たないならあの農産は奉戴する fact4: もし仮に「そのタクシードライバーはしゅんとしない」ということは成り立たないとすると追求する fact5: その学説は参照頂くが着せがましかない fact6: その学説は着せがましかない fact7: もしもその学説は外し易いけれど着せがましかないとするとそれは手緩くない fact8: 仮に「何らかの物はアウトソーシングするけど軟らかくない」ということは成り立たないとすると「それはアウトソーシングする」ということは真実でない fact9: もし仮になんらかのものはアウトソーシングするということはないならば「それは有るらしくないけど得られ易い」ということは本当でない fact10: その学説は外し易いけど着せがましかない fact11: 「その話し相手は適刺激だけれどそれは宮様でない」ということは誤っている fact12: 仮にとあるものはパッセージならば「板の間でなくてかつ言い易くない」ということは嘘である fact13: 「「あるものは分析・考察するがしかしパッセージでない」ということは成り立たないとするとパッセージだ」ということは成り立つ fact14: そのタクシードライバーが追求するし加えて取れ易いとすれば「あの花崗岩体は追求する」ということは間違いである fact15: 有るらしいものは手緩い fact16: 「その話し相手は適刺激であるがそれは宮様でない」ということは偽であるとするとそのタクシードライバーはしゅんとする fact17: もしあの農産は奉戴するとすると「この外務省員は名残惜しい」ということは成り立つ fact18: もし仮に「その学説は手緩くない」ということは成り立つなら「この吉相は助命するし更にそわそわする」ということは嘘だ fact19: もし仮にこの外務省員は名残惜しいとすると「その学説はアウトソーシングするけど軟らかくない」ということは事実でない fact20: 仮に何らかの物が手緩いなら助命するしそれはそわそわしない fact21: もし仮になにがしかのものは追求しないならば「それは分析・考察するしパッセージであるということはない」ということは確かでない ; $hypothesis$ = 「この吉相は助命するけれどそわそわしない」ということは誤っている ; $proof$ = 
fact7 & fact10 -> int1: その学説は手緩くない; int1 & fact2 -> hypothesis; __PROVED__
事実1: そのタクシードライバーは取れ易い
事実2: 仮にその学説は手緩くないなら「この吉相は助命する一方でそれはそわそわしない」ということは間違いだ
事実3: もし仮に「あの花崗岩体は板の間でないし言い易くない」ということは成り立たないならあの農産は奉戴する
事実4: もし仮に「そのタクシードライバーはしゅんとしない」ということは成り立たないとすると追求する
事実5: その学説は参照頂くが着せがましかない
事実6: その学説は着せがましかない
事実7: もしもその学説は外し易いけれど着せがましかないとするとそれは手緩くない
事実8: 仮に「何らかの物はアウトソーシングするけど軟らかくない」ということは成り立たないとすると「それはアウトソーシングする」ということは真実でない
事実9: もし仮になんらかのものはアウトソーシングするということはないならば「それは有るらしくないけど得られ易い」ということは本当でない
事実10: その学説は外し易いけど着せがましかない
事実11: 「その話し相手は適刺激だけれどそれは宮様でない」ということは誤っている
事実12: 仮にとあるものはパッセージならば「板の間でなくてかつ言い易くない」ということは嘘である
事実13: 「「あるものは分析・考察するがしかしパッセージでない」ということは成り立たないとするとパッセージだ」ということは成り立つ
事実14: そのタクシードライバーが追求するし加えて取れ易いとすれば「あの花崗岩体は追求する」ということは間違いである
事実15: 有るらしいものは手緩い
事実16: 「その話し相手は適刺激であるがそれは宮様でない」ということは偽であるとするとそのタクシードライバーはしゅんとする
事実17: もしあの農産は奉戴するとすると「この外務省員は名残惜しい」ということは成り立つ
事実18: もし仮に「その学説は手緩くない」ということは成り立つなら「この吉相は助命するし更にそわそわする」ということは嘘だ
事実19: もし仮にこの外務省員は名残惜しいとすると「その学説はアウトソーシングするけど軟らかくない」ということは事実でない
事実20: 仮に何らかの物が手緩いなら助命するしそれはそわそわしない
事実21: もし仮になにがしかのものは追求しないならば「それは分析・考察するしパッセージであるということはない」ということは確かでない

仮説: 「この吉相は助命するけれどそわそわしない」ということは誤っている
1. 事実7と事実10から、推論1: "その学説は手緩くない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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