この津田殿は抜き取れる
fact1: もし仮にこの津田殿は終点下車であるとすればそれは抜き取れる fact2: 「あらゆる物は乱れ始めない」ということは本当である fact3: この津田殿は終点下車である
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
この津田殿は抜き取れない
fact4 -> int1: その女性天皇は乱れ始めない; int1 -> int2: その女性天皇は疑い深くないかもしくはそれは乱れ始めないかもしくは両方ともだ; int2 -> int3: どれもこれもは疑い深くないかあるいはそれは乱れ始めない; int3 -> int4: この松籟は疑い深くないかもしくは乱れ始めないかもしくはどちらもだ;
$facts$ = fact1: もし仮にこの津田殿は終点下車であるとすればそれは抜き取れる fact2: 「あらゆる物は乱れ始めない」ということは本当である fact3: この津田殿は終点下車である ; $hypothesis$ = この津田殿は抜き取れる ; $proof$ = 
fact1 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にこの津田殿は終点下車であるとすればそれは抜き取れる
事実2: 「あらゆる物は乱れ始めない」ということは本当である
事実3: この津田殿は終点下車である

仮説: この津田殿は抜き取れる
1. 事実1と事実3から、仮説が導かれる

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