「なんらかのものは抗し難いし南家だ」ということは間違いだ
fact1: もしこの家父長が磨き続けるとするとあのウェブページは抗し難い fact2: 「継承する」ものはある fact3: 「継承するし加えて対応し易い」物はある fact4: 「ある物は継承するがそれは対応し易くない」ということは確かである fact5: 仮にこの立方体がツリーであるならばこの家父長は磨き続ける fact6: もしとある物が継承するけれど対応し易くないとしたらあのウェブページは南家だ fact7: この立方体は対応し易い fact8: この立方体は把捉するしおまけにツリーである
fact8 -> int1: この立方体はツリーである; int1 & fact5 -> int2: この家父長は磨き続ける; int2 & fact1 -> int3: 「あのウェブページは抗し難い」ということは本当だ; fact6 & fact4 -> int4: あのウェブページは南家だ; int3 & int4 -> int5: あのウェブページは抗し難くてそれにそれは南家だ; int5 -> hypothesis;
$facts$ = fact1: もしこの家父長が磨き続けるとするとあのウェブページは抗し難い fact2: 「継承する」ものはある fact3: 「継承するし加えて対応し易い」物はある fact4: 「ある物は継承するがそれは対応し易くない」ということは確かである fact5: 仮にこの立方体がツリーであるならばこの家父長は磨き続ける fact6: もしとある物が継承するけれど対応し易くないとしたらあのウェブページは南家だ fact7: この立方体は対応し易い fact8: この立方体は把捉するしおまけにツリーである ; $hypothesis$ = 「なんらかのものは抗し難いし南家だ」ということは間違いだ ; $proof$ = 
fact8 -> int1: この立方体はツリーである; int1 & fact5 -> int2: この家父長は磨き続ける; int2 & fact1 -> int3: 「あのウェブページは抗し難い」ということは本当だ; fact6 & fact4 -> int4: あのウェブページは南家だ; int3 & int4 -> int5: あのウェブページは抗し難くてそれにそれは南家だ; int5 -> hypothesis; __DISPROVED__
事実1: もしこの家父長が磨き続けるとするとあのウェブページは抗し難い
事実2: 「継承する」ものはある
事実3: 「継承するし加えて対応し易い」物はある
事実4: 「ある物は継承するがそれは対応し易くない」ということは確かである
事実5: 仮にこの立方体がツリーであるならばこの家父長は磨き続ける
事実6: もしとある物が継承するけれど対応し易くないとしたらあのウェブページは南家だ
事実7: この立方体は対応し易い
事実8: この立方体は把捉するしおまけにツリーである

仮説: 「なんらかのものは抗し難いし南家だ」ということは間違いだ
1. 事実8から、推論1: "この立方体はツリーである"が導かれる
2. 推論1と事実5から、推論2: "この家父長は磨き続ける"が導かれる
3. 推論2と事実1から、推論3: "「あのウェブページは抗し難い」ということは本当だ"が導かれる
4. 事実6と事実4から、推論4: "あのウェブページは南家だ"が導かれる
5. 推論3と推論4から、推論5: "あのウェブページは抗し難くてそれにそれは南家だ"が導かれる
6. 推論5から、仮説が否定される

よって、仮説が否定されました。