その退縮は裳裾でない
fact1: 仮になにがしかの物は等しものでまた住み替えるとすると「それは裳裾であるということはない」ということは真実である fact2: その退縮は住み替える fact3: その地衣類は裳裾である fact4: その退縮は等し fact5: もしある物が自足するし摘めるならそれは実用新案登録願いでない fact6: そのタールは住み替える
fact4 & fact2 -> int1: その退縮は等ししさらに住み替える; fact1 -> int2: その退縮は等しし住み替えるなら裳裾でない; int1 & int2 -> hypothesis;
fact4 & fact2 -> int1: ({A}{a} & {B}{a}); fact1 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物は等しものでまた住み替えるとすると「それは裳裾であるということはない」ということは真実である fact2: その退縮は住み替える fact3: その地衣類は裳裾である fact4: その退縮は等し fact5: もしある物が自足するし摘めるならそれは実用新案登録願いでない fact6: そのタールは住み替える ; $hypothesis$ = その退縮は裳裾でない ; $proof$ = 
fact4 & fact2 -> int1: その退縮は等ししさらに住み替える; fact1 -> int2: その退縮は等しし住み替えるなら裳裾でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物は等しものでまた住み替えるとすると「それは裳裾であるということはない」ということは真実である
事実2: その退縮は住み替える
事実3: その地衣類は裳裾である
事実4: その退縮は等し
事実5: もしある物が自足するし摘めるならそれは実用新案登録願いでない
事実6: そのタールは住み替える

仮説: その退縮は裳裾でない
1. 事実4と事実2から、推論1: "その退縮は等ししさらに住み替える"が導かれる
2. 事実1から、推論2: "その退縮は等しし住み替えるなら裳裾でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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