「このぽいはアイソトープである一方でそれは譲り受けない」ということは偽である
fact1: そのプロセス行程は有り触れる fact2: このぽいは有り触れるなら「それはアイソトープである」ということは事実だ fact3: もし「この一乗寺は広くないけど根深い」ということは嘘であるとしたら「このぽいは広くない」ということは確かである fact4: 「「有り触れるということはないけど私的資本だ」ということは誤りな」ものがあればこのぽいはアイソトープである fact5: もし仮にこの新株が御勧めポイントでない一方で饗するとするとこのぽいは御勧めポイントでない fact6: その兜蝦は私的資本だ fact7: 仮になんらかのものは観光志向型だとすると「それは有り触れないし私的資本である」ということは事実でない fact8: このぽいは有り触れる fact9: もし仮にこの一乗寺はアイソトープだとすると「このぽいはアイソトープであるけれどそれは譲り受けない」ということは間違っている fact10: もしもこのぽいは私的資本であるとしたら「譲り受ける」ということは真実だ fact11: 仮にその兜蝦が私的資本であるとすればこの一乗寺は有り触れる fact12: なにがしかのものは微笑ましいがしかし幅広くない fact13: 何らかのものが有り触れるとすればそれはアイソトープだ fact14: 「この一乗寺は広くないがそれは根深い」ということは成り立つということはない fact15: あらゆるものは観光志向型だ
fact11 & fact6 -> int1: この一乗寺は有り触れる; fact13 -> int2: 「この一乗寺は有り触れれば「この一乗寺はアイソトープだ」ということは成り立つ」ということは確かだ; int1 & int2 -> int3: この一乗寺はアイソトープである; int3 & fact9 -> hypothesis;
fact11 & fact6 -> int1: {B}{b}; fact13 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 & fact9 -> hypothesis;
「このぽいはアイソトープだけど譲り受けるということはない」ということは確かだ
fact16 -> int4: あの短期金利は観光志向型だとすれば「それは有り触れるということはないしそれは私的資本だ」ということは誤りである; fact20 -> int5: あの短期金利は観光志向型である; int4 & int5 -> int6: 「あの短期金利は有り触れないがそれは私的資本だ」ということは成り立たない; int6 -> int7: それは有り触れないけれど私的資本だというものはない; int7 -> int8: 「「その兜蝦は有り触れないが私的資本だ」ということは成り立つということはない」ということは正しい; int8 -> int9: 「「有り触れるということはないけれど私的資本だ」ということは嘘である」ものはある; int9 & fact21 -> int10: このぽいはアイソトープだ; fact19 & fact18 -> int11: このぽいは広くない;
$facts$ = fact1: そのプロセス行程は有り触れる fact2: このぽいは有り触れるなら「それはアイソトープである」ということは事実だ fact3: もし「この一乗寺は広くないけど根深い」ということは嘘であるとしたら「このぽいは広くない」ということは確かである fact4: 「「有り触れるということはないけど私的資本だ」ということは誤りな」ものがあればこのぽいはアイソトープである fact5: もし仮にこの新株が御勧めポイントでない一方で饗するとするとこのぽいは御勧めポイントでない fact6: その兜蝦は私的資本だ fact7: 仮になんらかのものは観光志向型だとすると「それは有り触れないし私的資本である」ということは事実でない fact8: このぽいは有り触れる fact9: もし仮にこの一乗寺はアイソトープだとすると「このぽいはアイソトープであるけれどそれは譲り受けない」ということは間違っている fact10: もしもこのぽいは私的資本であるとしたら「譲り受ける」ということは真実だ fact11: 仮にその兜蝦が私的資本であるとすればこの一乗寺は有り触れる fact12: なにがしかのものは微笑ましいがしかし幅広くない fact13: 何らかのものが有り触れるとすればそれはアイソトープだ fact14: 「この一乗寺は広くないがそれは根深い」ということは成り立つということはない fact15: あらゆるものは観光志向型だ ; $hypothesis$ = 「このぽいはアイソトープである一方でそれは譲り受けない」ということは偽である ; $proof$ = 
fact11 & fact6 -> int1: この一乗寺は有り触れる; fact13 -> int2: 「この一乗寺は有り触れれば「この一乗寺はアイソトープだ」ということは成り立つ」ということは確かだ; int1 & int2 -> int3: この一乗寺はアイソトープである; int3 & fact9 -> hypothesis; __PROVED__
事実1: そのプロセス行程は有り触れる
事実2: このぽいは有り触れるなら「それはアイソトープである」ということは事実だ
事実3: もし「この一乗寺は広くないけど根深い」ということは嘘であるとしたら「このぽいは広くない」ということは確かである
事実4: 「「有り触れるということはないけど私的資本だ」ということは誤りな」ものがあればこのぽいはアイソトープである
事実5: もし仮にこの新株が御勧めポイントでない一方で饗するとするとこのぽいは御勧めポイントでない
事実6: その兜蝦は私的資本だ
事実7: 仮になんらかのものは観光志向型だとすると「それは有り触れないし私的資本である」ということは事実でない
事実8: このぽいは有り触れる
事実9: もし仮にこの一乗寺はアイソトープだとすると「このぽいはアイソトープであるけれどそれは譲り受けない」ということは間違っている
事実10: もしもこのぽいは私的資本であるとしたら「譲り受ける」ということは真実だ
事実11: 仮にその兜蝦が私的資本であるとすればこの一乗寺は有り触れる
事実12: なにがしかのものは微笑ましいがしかし幅広くない
事実13: 何らかのものが有り触れるとすればそれはアイソトープだ
事実14: 「この一乗寺は広くないがそれは根深い」ということは成り立つということはない
事実15: あらゆるものは観光志向型だ

仮説: 「このぽいはアイソトープである一方でそれは譲り受けない」ということは偽である
1. 事実11と事実6から、推論1: "この一乗寺は有り触れる"が導かれる
2. 事実13から、推論2: "「この一乗寺は有り触れれば「この一乗寺はアイソトープだ」ということは成り立つ」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "この一乗寺はアイソトープである"が導かれる
4. 推論3と事実9から、仮説が導かれる

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