「もし「運河沿いでないかまたはパリサイ人達でない」ということは間違いであるとすれば柔らかくない」物はある
fact1: 仮に「「あるものは運河沿いでないかあるいはパリサイ人達でないかあるいは両方ともである」ということは本当だ」ということは成り立つということはないとするとそれは柔らかくない
fact1 -> int1: 仮に「このクレーム処理は運河沿いでないかパリサイ人達でない」ということは偽だとすれば「それは柔らかいということはない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 仮に「「あるものは運河沿いでないかあるいはパリサイ人達でないかあるいは両方ともである」ということは本当だ」ということは成り立つということはないとするとそれは柔らかくない ; $hypothesis$ = 「もし「運河沿いでないかまたはパリサイ人達でない」ということは間違いであるとすれば柔らかくない」物はある ; $proof$ = 
fact1 -> int1: 仮に「このクレーム処理は運河沿いでないかパリサイ人達でない」ということは偽だとすれば「それは柔らかいということはない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 仮に「「あるものは運河沿いでないかあるいはパリサイ人達でないかあるいは両方ともである」ということは本当だ」ということは成り立つということはないとするとそれは柔らかくない

仮説: 「もし「運河沿いでないかまたはパリサイ人達でない」ということは間違いであるとすれば柔らかくない」物はある
1. 事実1から、推論1: "仮に「このクレーム処理は運河沿いでないかパリサイ人達でない」ということは偽だとすれば「それは柔らかいということはない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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