その万邦は四分だということはないけど奉じる
fact1: その万邦が分掌するとするとあの御勤めは考え難い fact2: もし仮にその改革者が分掌するとしたらその万邦は分掌する fact3: その万邦は四分でない fact4: その万邦は奉じる fact5: その万邦は疚しくないけど自用地である fact6: もし「「その改革者は滲むかあるいは温まない」ということは成り立たない」ということは事実であるとしたら阿呆らしくない fact7: もしもなにがしかのものが有り難しないか四分でないかあるいは両方ともだとしたらそれは四分でない fact8: もし仮に「その改革者は阿呆らしくない」ということは本当であるならばそれは分掌するしまたリラクゼーションである fact9: 仮になんらかのものは有り難しないとすると「四分でなくておまけに奉じる」ということは誤りである fact10: もし仮に何らかのものが考え難いとすると奉じる fact11: その舅姑は四分でない
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
「その万邦は四分でない一方で奉じる」ということは事実と異なる
fact12 -> int1: もしその万邦は有り難しないなら「四分でないがしかし奉じる」ということは偽である;
$facts$ = fact1: その万邦が分掌するとするとあの御勤めは考え難い fact2: もし仮にその改革者が分掌するとしたらその万邦は分掌する fact3: その万邦は四分でない fact4: その万邦は奉じる fact5: その万邦は疚しくないけど自用地である fact6: もし「「その改革者は滲むかあるいは温まない」ということは成り立たない」ということは事実であるとしたら阿呆らしくない fact7: もしもなにがしかのものが有り難しないか四分でないかあるいは両方ともだとしたらそれは四分でない fact8: もし仮に「その改革者は阿呆らしくない」ということは本当であるならばそれは分掌するしまたリラクゼーションである fact9: 仮になんらかのものは有り難しないとすると「四分でなくておまけに奉じる」ということは誤りである fact10: もし仮に何らかのものが考え難いとすると奉じる fact11: その舅姑は四分でない ; $hypothesis$ = その万邦は四分だということはないけど奉じる ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: その万邦が分掌するとするとあの御勤めは考え難い
事実2: もし仮にその改革者が分掌するとしたらその万邦は分掌する
事実3: その万邦は四分でない
事実4: その万邦は奉じる
事実5: その万邦は疚しくないけど自用地である
事実6: もし「「その改革者は滲むかあるいは温まない」ということは成り立たない」ということは事実であるとしたら阿呆らしくない
事実7: もしもなにがしかのものが有り難しないか四分でないかあるいは両方ともだとしたらそれは四分でない
事実8: もし仮に「その改革者は阿呆らしくない」ということは本当であるならばそれは分掌するしまたリラクゼーションである
事実9: 仮になんらかのものは有り難しないとすると「四分でなくておまけに奉じる」ということは誤りである
事実10: もし仮に何らかのものが考え難いとすると奉じる
事実11: その舅姑は四分でない

仮説: その万邦は四分だということはないけど奉じる
1. 事実3と事実4から、仮説が導かれる

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