あの槌はネットワーク上である
fact1: 「その学生街は握り返す」ということは確かだ fact2: あの槌は糊付けする fact3: あの槌はユーザボリュームである fact4: その山王様は握り返す fact5: あの槌はネットワーク上であるしおまけに握り返す fact6: 「あの槌は流入するししかも表現し直す」ということは偽でない fact7: もしなんらかの物が表現し直すとすれば甲村家でなくてその上受け付け係でない fact8: 「あの槌は誘発し易い」ということは事実と異ならない fact9: その教育事業はネットワーク上だ
fact5 -> hypothesis;
fact5 -> hypothesis;
「あの経済史はネットワーク上だ」ということは本当だ
fact11 -> int1: 仮にあの槌が表現し直すならそれは甲村家だということはなくて受け付け係でない; fact10 -> int2: あの槌は表現し直す; int1 & int2 -> int3: あの槌は甲村家でなくてそれに受け付け係でない; int3 -> int4: あの槌は甲村家でない; int4 -> int5: 「甲村家でない」物はある;
$facts$ = fact1: 「その学生街は握り返す」ということは確かだ fact2: あの槌は糊付けする fact3: あの槌はユーザボリュームである fact4: その山王様は握り返す fact5: あの槌はネットワーク上であるしおまけに握り返す fact6: 「あの槌は流入するししかも表現し直す」ということは偽でない fact7: もしなんらかの物が表現し直すとすれば甲村家でなくてその上受け付け係でない fact8: 「あの槌は誘発し易い」ということは事実と異ならない fact9: その教育事業はネットワーク上だ ; $hypothesis$ = あの槌はネットワーク上である ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「その学生街は握り返す」ということは確かだ
事実2: あの槌は糊付けする
事実3: あの槌はユーザボリュームである
事実4: その山王様は握り返す
事実5: あの槌はネットワーク上であるしおまけに握り返す
事実6: 「あの槌は流入するししかも表現し直す」ということは偽でない
事実7: もしなんらかの物が表現し直すとすれば甲村家でなくてその上受け付け係でない
事実8: 「あの槌は誘発し易い」ということは事実と異ならない
事実9: その教育事業はネットワーク上だ

仮説: あの槌はネットワーク上である
1. 事実5から、仮説が導かれる

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