その社会的現実は保温する
fact1: 「そのターミナル部分は客数でない」ということは誤りでないならあの最善策は保温しないかそれは向き直らないかもしくは両方だ fact2: もしあるものが視認出来ないとすれば他車でそれは盛り零しである fact3: もし仮にそのターミナル部分が視認出来るとすればあの最善策は他車でない fact4: 商品購入は向き直らないしそれに保温するということはない fact5: 当て付けがましいものは視認出来る fact6: 何らかのものが保温しないとすればそれは歩き易いが向き直らない fact7: あるものは盛り零しでないならば「それは生え易くてかつそれは商品購入である」ということは真実だ fact8: あの一国内がファンクラブでないけど当て付けがましいならばその社会的現実は視認出来ない fact9: あの一国内はファンクラブでないが当て付けがましい fact10: もし仮にそのターミナル部分が商品購入だということはないならあの最善策は保温するということはないかそれは生え易くない fact11: あの最善策は向き直らない fact12: もしもあの最善策が向き直らないとするとそのターミナル部分は歩き易くないかあるいは客数でないか両方ともである fact13: あの最善策が他車でないならばその社会的現実は盛り零しでない fact14: もしそのターミナル部分が歩き易くないならばあの社会的現実は保温する fact15: もしもそのターミナル部分が客数でないならばその社会的現実は保温する
fact12 & fact11 -> int1: そのターミナル部分は歩き易いということはないかまたはそれは客数でない; int1 & fact14 & fact15 -> hypothesis;
fact12 & fact11 -> int1: (¬{AA}{b} v ¬{AB}{b}); int1 & fact14 & fact15 -> hypothesis;
そのＥＣＵ用は歩き易い
fact17 -> int2: そのＥＣＵ用が保温しないとすればそれは歩き易いしかつ向き直らない; fact20 -> int3: もし仮にその社会的現実が視認出来るということはないとすればそれは他車であるし盛り零しである; fact18 & fact16 -> int4: その社会的現実は視認出来ない; int3 & int4 -> int5: その社会的現実は他車であるししかも盛り零しである; int5 -> int6: ある物は他車であるしさらに盛り零しだ;
$facts$ = fact1: 「そのターミナル部分は客数でない」ということは誤りでないならあの最善策は保温しないかそれは向き直らないかもしくは両方だ fact2: もしあるものが視認出来ないとすれば他車でそれは盛り零しである fact3: もし仮にそのターミナル部分が視認出来るとすればあの最善策は他車でない fact4: 商品購入は向き直らないしそれに保温するということはない fact5: 当て付けがましいものは視認出来る fact6: 何らかのものが保温しないとすればそれは歩き易いが向き直らない fact7: あるものは盛り零しでないならば「それは生え易くてかつそれは商品購入である」ということは真実だ fact8: あの一国内がファンクラブでないけど当て付けがましいならばその社会的現実は視認出来ない fact9: あの一国内はファンクラブでないが当て付けがましい fact10: もし仮にそのターミナル部分が商品購入だということはないならあの最善策は保温するということはないかそれは生え易くない fact11: あの最善策は向き直らない fact12: もしもあの最善策が向き直らないとするとそのターミナル部分は歩き易くないかあるいは客数でないか両方ともである fact13: あの最善策が他車でないならばその社会的現実は盛り零しでない fact14: もしそのターミナル部分が歩き易くないならばあの社会的現実は保温する fact15: もしもそのターミナル部分が客数でないならばその社会的現実は保温する ; $hypothesis$ = その社会的現実は保温する ; $proof$ = 
fact12 & fact11 -> int1: そのターミナル部分は歩き易いということはないかまたはそれは客数でない; int1 & fact14 & fact15 -> hypothesis; __PROVED__
事実1: 「そのターミナル部分は客数でない」ということは誤りでないならあの最善策は保温しないかそれは向き直らないかもしくは両方だ
事実2: もしあるものが視認出来ないとすれば他車でそれは盛り零しである
事実3: もし仮にそのターミナル部分が視認出来るとすればあの最善策は他車でない
事実4: 商品購入は向き直らないしそれに保温するということはない
事実5: 当て付けがましいものは視認出来る
事実6: 何らかのものが保温しないとすればそれは歩き易いが向き直らない
事実7: あるものは盛り零しでないならば「それは生え易くてかつそれは商品購入である」ということは真実だ
事実8: あの一国内がファンクラブでないけど当て付けがましいならばその社会的現実は視認出来ない
事実9: あの一国内はファンクラブでないが当て付けがましい
事実10: もし仮にそのターミナル部分が商品購入だということはないならあの最善策は保温するということはないかそれは生え易くない
事実11: あの最善策は向き直らない
事実12: もしもあの最善策が向き直らないとするとそのターミナル部分は歩き易くないかあるいは客数でないか両方ともである
事実13: あの最善策が他車でないならばその社会的現実は盛り零しでない
事実14: もしそのターミナル部分が歩き易くないならばあの社会的現実は保温する
事実15: もしもそのターミナル部分が客数でないならばその社会的現実は保温する

仮説: その社会的現実は保温する
1. 事実12と事実11から、推論1: "そのターミナル部分は歩き易いということはないかまたはそれは客数でない"が導かれる
2. 推論1と事実14と事実15から、仮説が導かれる

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