その基礎梁は遊牧しないけど四分だ
fact1: もしもこの宗義は注ぎ足すなら「その基礎梁は遊牧しないけれどそれは四分である」ということは本当でない fact2: 仮にこの宗義が最古であるかあるいは遠景であるかどちらもであるとするとこの世間は四分でない fact3: 「もし仮にあの樽は受け入れ易いならば「あの樽は弱り切るということはないかまたは心配事であるかまたはどちらもだ」ということは間違いである」ということは成り立つ fact4: もしもあの樽が微笑ましいとすればその基礎梁は遊牧する fact5: もし仮に「あの樽は弱り切らないかもしくは心配事であるかあるいは両方だ」ということは間違っていれば微笑ましい fact6: 仮にこの世間が四分でないとすればその基礎梁は四分である fact7: なにがしかの物は嘉禎元年でないかあるいはイギリス船であるかもしくはどちらもだ fact8: もし仮にこの宗義が四分でないならその基礎梁は遠景でないが四分だ fact9: この宗義は最古であるかまたは遠景であるか両方だ fact10: もしその基礎梁が遠景だとすればこの宗義は遊牧するということはない fact11: その縄文社会は遠景だ fact12: もしこの世間が四分でないとすればあの基礎梁は遊牧するということはないが四分だ
fact2 & fact9 -> int1: この世間は四分だということはない; int1 & fact12 -> hypothesis;
fact2 & fact9 -> int1: ¬{B}{b}; int1 & fact12 -> hypothesis;
この世間は最古でない
$facts$ = fact1: もしもこの宗義は注ぎ足すなら「その基礎梁は遊牧しないけれどそれは四分である」ということは本当でない fact2: 仮にこの宗義が最古であるかあるいは遠景であるかどちらもであるとするとこの世間は四分でない fact3: 「もし仮にあの樽は受け入れ易いならば「あの樽は弱り切るということはないかまたは心配事であるかまたはどちらもだ」ということは間違いである」ということは成り立つ fact4: もしもあの樽が微笑ましいとすればその基礎梁は遊牧する fact5: もし仮に「あの樽は弱り切らないかもしくは心配事であるかあるいは両方だ」ということは間違っていれば微笑ましい fact6: 仮にこの世間が四分でないとすればその基礎梁は四分である fact7: なにがしかの物は嘉禎元年でないかあるいはイギリス船であるかもしくはどちらもだ fact8: もし仮にこの宗義が四分でないならその基礎梁は遠景でないが四分だ fact9: この宗義は最古であるかまたは遠景であるか両方だ fact10: もしその基礎梁が遠景だとすればこの宗義は遊牧するということはない fact11: その縄文社会は遠景だ fact12: もしこの世間が四分でないとすればあの基礎梁は遊牧するということはないが四分だ ; $hypothesis$ = その基礎梁は遊牧しないけど四分だ ; $proof$ = 
fact2 & fact9 -> int1: この世間は四分だということはない; int1 & fact12 -> hypothesis; __PROVED__
事実1: もしもこの宗義は注ぎ足すなら「その基礎梁は遊牧しないけれどそれは四分である」ということは本当でない
事実2: 仮にこの宗義が最古であるかあるいは遠景であるかどちらもであるとするとこの世間は四分でない
事実3: 「もし仮にあの樽は受け入れ易いならば「あの樽は弱り切るということはないかまたは心配事であるかまたはどちらもだ」ということは間違いである」ということは成り立つ
事実4: もしもあの樽が微笑ましいとすればその基礎梁は遊牧する
事実5: もし仮に「あの樽は弱り切らないかもしくは心配事であるかあるいは両方だ」ということは間違っていれば微笑ましい
事実6: 仮にこの世間が四分でないとすればその基礎梁は四分である
事実7: なにがしかの物は嘉禎元年でないかあるいはイギリス船であるかもしくはどちらもだ
事実8: もし仮にこの宗義が四分でないならその基礎梁は遠景でないが四分だ
事実9: この宗義は最古であるかまたは遠景であるか両方だ
事実10: もしその基礎梁が遠景だとすればこの宗義は遊牧するということはない
事実11: その縄文社会は遠景だ
事実12: もしこの世間が四分でないとすればあの基礎梁は遊牧するということはないが四分だ

仮説: その基礎梁は遊牧しないけど四分だ
1. 事実2と事実9から、推論1: "この世間は四分だということはない"が導かれる
2. 推論1と事実12から、仮説が導かれる

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