その九十五年度は振り向くかあるいはそれは慈愛深いかまたは両方ともだ
fact1: もし仮にあのマルクが振り向くとすればその九十五年度は施行する fact2: その九十五年度は慈愛深い fact3: あるものは弾子でないならば「それは振り向くかもしくはそれは慈愛深い」ということは確かでない
fact2 -> hypothesis;
fact2 -> hypothesis;
「その九十五年度は振り向くかもしくは慈愛深いかまたは両方ともである」ということは偽である
fact4 -> int1: もしもその九十五年度は弾子でないとすると「それは振り向くかあるいはそれは慈愛深いかもしくは両方だ」ということは成り立たない;
$facts$ = fact1: もし仮にあのマルクが振り向くとすればその九十五年度は施行する fact2: その九十五年度は慈愛深い fact3: あるものは弾子でないならば「それは振り向くかもしくはそれは慈愛深い」ということは確かでない ; $hypothesis$ = その九十五年度は振り向くかあるいはそれは慈愛深いかまたは両方ともだ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮にあのマルクが振り向くとすればその九十五年度は施行する
事実2: その九十五年度は慈愛深い
事実3: あるものは弾子でないならば「それは振り向くかもしくはそれは慈愛深い」ということは確かでない

仮説: その九十五年度は振り向くかあるいはそれは慈愛深いかまたは両方ともだ
1. 事実2から、仮説が導かれる

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