「あの西洋はＡＢ型だ」ということは正しい
fact1: その対人的相互作用は甘ーいならば「その脆弱さは参考価格である」ということは真実だ fact2: もしもあの回路内が折れ易いということはないならその対人的相互作用は折れ易いかあるいはそれは甘ーいかあるいは両方ともである fact3: 参考価格は三歳児だ fact4: その脆弱さが三歳児だとするとあの西洋はＡＢ型だ fact5: 仮にその脆弱さが三歳児でないならあの回路内は三歳児であるかあるいは折れ易い fact6: 「この資本集約財は歪める」ということは成り立つ fact7: なにかは三歳児だとすると結び付き難い fact8: 「「三歳児であるし参考価格でない」ということは嘘な」物はある fact9: もしその対人的相互作用が折れ易いならその脆弱さは参考価格だ fact10: この資本集約財は有り過ぎる fact11: もしもこの資本集約財が有り過ぎるし歪めるとしたらあの回路内は折れ易いということはない fact12: もしも「「三歳児である一方で参考価格でない」ということは事実と異なる」ものがあるならあの回路内は甘ーくない fact13: 「その低濃度は歪める」ということは成り立つ
fact10 & fact6 -> int1: この資本集約財は有り過ぎるしそれに歪める; int1 & fact11 -> int2: あの回路内は折れ易いということはない; int2 & fact2 -> int3: その対人的相互作用は折れ易いか甘ーいかまたは両方だ; int3 & fact9 & fact1 -> int4: その脆弱さは参考価格だ; fact3 -> int5: 仮にその脆弱さは参考価格であるとするとそれは三歳児である; int4 & int5 -> int6: その脆弱さは三歳児だ; int6 & fact4 -> hypothesis;
あの西洋はＡＢ型でない
fact15 & fact14 -> int7: あの回路内は甘ーくない;
$facts$ = fact1: その対人的相互作用は甘ーいならば「その脆弱さは参考価格である」ということは真実だ fact2: もしもあの回路内が折れ易いということはないならその対人的相互作用は折れ易いかあるいはそれは甘ーいかあるいは両方ともである fact3: 参考価格は三歳児だ fact4: その脆弱さが三歳児だとするとあの西洋はＡＢ型だ fact5: 仮にその脆弱さが三歳児でないならあの回路内は三歳児であるかあるいは折れ易い fact6: 「この資本集約財は歪める」ということは成り立つ fact7: なにかは三歳児だとすると結び付き難い fact8: 「「三歳児であるし参考価格でない」ということは嘘な」物はある fact9: もしその対人的相互作用が折れ易いならその脆弱さは参考価格だ fact10: この資本集約財は有り過ぎる fact11: もしもこの資本集約財が有り過ぎるし歪めるとしたらあの回路内は折れ易いということはない fact12: もしも「「三歳児である一方で参考価格でない」ということは事実と異なる」ものがあるならあの回路内は甘ーくない fact13: 「その低濃度は歪める」ということは成り立つ ; $hypothesis$ = 「あの西洋はＡＢ型だ」ということは正しい ; $proof$ = 
fact10 & fact6 -> int1: この資本集約財は有り過ぎるしそれに歪める; int1 & fact11 -> int2: あの回路内は折れ易いということはない; int2 & fact2 -> int3: その対人的相互作用は折れ易いか甘ーいかまたは両方だ; int3 & fact9 & fact1 -> int4: その脆弱さは参考価格だ; fact3 -> int5: 仮にその脆弱さは参考価格であるとするとそれは三歳児である; int4 & int5 -> int6: その脆弱さは三歳児だ; int6 & fact4 -> hypothesis; __PROVED__
事実1: その対人的相互作用は甘ーいならば「その脆弱さは参考価格である」ということは真実だ
事実2: もしもあの回路内が折れ易いということはないならその対人的相互作用は折れ易いかあるいはそれは甘ーいかあるいは両方ともである
事実3: 参考価格は三歳児だ
事実4: その脆弱さが三歳児だとするとあの西洋はＡＢ型だ
事実5: 仮にその脆弱さが三歳児でないならあの回路内は三歳児であるかあるいは折れ易い
事実6: 「この資本集約財は歪める」ということは成り立つ
事実7: なにかは三歳児だとすると結び付き難い
事実8: 「「三歳児であるし参考価格でない」ということは嘘な」物はある
事実9: もしその対人的相互作用が折れ易いならその脆弱さは参考価格だ
事実10: この資本集約財は有り過ぎる
事実11: もしもこの資本集約財が有り過ぎるし歪めるとしたらあの回路内は折れ易いということはない
事実12: もしも「「三歳児である一方で参考価格でない」ということは事実と異なる」ものがあるならあの回路内は甘ーくない
事実13: 「その低濃度は歪める」ということは成り立つ

仮説: 「あの西洋はＡＢ型だ」ということは正しい
1. 事実10と事実6から、推論1: "この資本集約財は有り過ぎるしそれに歪める"が導かれる
2. 推論1と事実11から、推論2: "あの回路内は折れ易いということはない"が導かれる
3. 推論2と事実2から、推論3: "その対人的相互作用は折れ易いか甘ーいかまたは両方だ"が導かれる
4. 推論3と事実9と事実1から、推論4: "その脆弱さは参考価格だ"が導かれる
5. 事実3から、推論5: "仮にその脆弱さは参考価格であるとするとそれは三歳児である"が導かれる
6. 推論4と推論5から、推論6: "その脆弱さは三歳児だ"が導かれる
7. 推論6と事実4から、仮説が導かれる

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