あの木口は寄せ合わない
fact1: もしも「この世子は親しいし御恥ずかしい」ということは成り立つとすると「あの木口は寄せ合わない」ということは正しい fact2: 御恥ずかしくない物は寄せ合うし加えて親しい fact3: もしもあの特許印紙が二重発券でないならその百分の三以上は親しいし弾む fact4: そのリース権は寄せ合わない fact5: 「平和主義者でない」ものがあるとすればあの同好者は具申するし填補する fact6: もしその同好者が寄せ合うけど御恥ずかしくないとしたら「この世子は寄せ合わない」ということは事実だ fact7: この世子はＮＳＴだ fact8: あの木口が御恥ずかしいとするとこの世子は寄せ合うかもしくは親しくない fact9: この世子は親しい fact10: 仮にその百分の三以上が親しいならばその同好者は寄せ合うけど御恥ずかしくない fact11: もしも「この世子は二重発券だけれど弾むということはない」ということは間違っているならあの木口は御恥ずかしくない fact12: 「この原産地は寄せ合わない」ということは確かだ fact13: もし仮にこの世子が寄せ合うかまたはそれが親しくないか両方ともであるならばあの訳者注は寄せ合わない fact14: この世子は御恥ずかしい fact15: その百分の三以上は平和主義者でない fact16: 仮にある物は具申するということはないとすれば「二重発券でおまけに填補する」ということは偽である fact17: もしもこの世子は寄せ合わないとすれば「あの木口は寄せ合う」ということは正しい
fact9 & fact14 -> int1: この世子は親しいししかも御恥ずかしい; int1 & fact1 -> hypothesis;
fact9 & fact14 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
その訳者注は寄せ合うということはない
$facts$ = fact1: もしも「この世子は親しいし御恥ずかしい」ということは成り立つとすると「あの木口は寄せ合わない」ということは正しい fact2: 御恥ずかしくない物は寄せ合うし加えて親しい fact3: もしもあの特許印紙が二重発券でないならその百分の三以上は親しいし弾む fact4: そのリース権は寄せ合わない fact5: 「平和主義者でない」ものがあるとすればあの同好者は具申するし填補する fact6: もしその同好者が寄せ合うけど御恥ずかしくないとしたら「この世子は寄せ合わない」ということは事実だ fact7: この世子はＮＳＴだ fact8: あの木口が御恥ずかしいとするとこの世子は寄せ合うかもしくは親しくない fact9: この世子は親しい fact10: 仮にその百分の三以上が親しいならばその同好者は寄せ合うけど御恥ずかしくない fact11: もしも「この世子は二重発券だけれど弾むということはない」ということは間違っているならあの木口は御恥ずかしくない fact12: 「この原産地は寄せ合わない」ということは確かだ fact13: もし仮にこの世子が寄せ合うかまたはそれが親しくないか両方ともであるならばあの訳者注は寄せ合わない fact14: この世子は御恥ずかしい fact15: その百分の三以上は平和主義者でない fact16: 仮にある物は具申するということはないとすれば「二重発券でおまけに填補する」ということは偽である fact17: もしもこの世子は寄せ合わないとすれば「あの木口は寄せ合う」ということは正しい ; $hypothesis$ = あの木口は寄せ合わない ; $proof$ = 
fact9 & fact14 -> int1: この世子は親しいししかも御恥ずかしい; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしも「この世子は親しいし御恥ずかしい」ということは成り立つとすると「あの木口は寄せ合わない」ということは正しい
事実2: 御恥ずかしくない物は寄せ合うし加えて親しい
事実3: もしもあの特許印紙が二重発券でないならその百分の三以上は親しいし弾む
事実4: そのリース権は寄せ合わない
事実5: 「平和主義者でない」ものがあるとすればあの同好者は具申するし填補する
事実6: もしその同好者が寄せ合うけど御恥ずかしくないとしたら「この世子は寄せ合わない」ということは事実だ
事実7: この世子はＮＳＴだ
事実8: あの木口が御恥ずかしいとするとこの世子は寄せ合うかもしくは親しくない
事実9: この世子は親しい
事実10: 仮にその百分の三以上が親しいならばその同好者は寄せ合うけど御恥ずかしくない
事実11: もしも「この世子は二重発券だけれど弾むということはない」ということは間違っているならあの木口は御恥ずかしくない
事実12: 「この原産地は寄せ合わない」ということは確かだ
事実13: もし仮にこの世子が寄せ合うかまたはそれが親しくないか両方ともであるならばあの訳者注は寄せ合わない
事実14: この世子は御恥ずかしい
事実15: その百分の三以上は平和主義者でない
事実16: 仮にある物は具申するということはないとすれば「二重発券でおまけに填補する」ということは偽である
事実17: もしもこの世子は寄せ合わないとすれば「あの木口は寄せ合う」ということは正しい

仮説: あの木口は寄せ合わない
1. 事実9と事実14から、推論1: "この世子は親しいししかも御恥ずかしい"が導かれる
2. 推論1と事実1から、仮説が導かれる

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