「「歩き易くなくてそれに作業時間でない」ということは間違いだとすればＮＳＰでない」ものはある
fact1: 仮に「なんらかのものは歩き易くないししかも作業時間でない」ということは成り立たないとすれば「「ＮＳＰである」ということは真実である」ということは偽である fact2: 「「第一でないし一振りするということはない」ということは成り立たないとすると留める」ものはある
fact1 -> int1: もし仮に「「この最高法院は歩き易いということはないし作業時間でない」ということは間違いである」ということは本当であるとしたら「それはＮＳＰでない」ということは真実だ; int1 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に「なんらかのものは歩き易くないししかも作業時間でない」ということは成り立たないとすれば「「ＮＳＰである」ということは真実である」ということは偽である fact2: 「「第一でないし一振りするということはない」ということは成り立たないとすると留める」ものはある ; $hypothesis$ = 「「歩き易くなくてそれに作業時間でない」ということは間違いだとすればＮＳＰでない」ものはある ; $proof$ = 
fact1 -> int1: もし仮に「「この最高法院は歩き易いということはないし作業時間でない」ということは間違いである」ということは本当であるとしたら「それはＮＳＰでない」ということは真実だ; int1 -> hypothesis; __PROVED__
事実1: 仮に「なんらかのものは歩き易くないししかも作業時間でない」ということは成り立たないとすれば「「ＮＳＰである」ということは真実である」ということは偽である
事実2: 「「第一でないし一振りするということはない」ということは成り立たないとすると留める」ものはある

仮説: 「「歩き易くなくてそれに作業時間でない」ということは間違いだとすればＮＳＰでない」ものはある
1. 事実1から、推論1: "もし仮に「「この最高法院は歩き易いということはないし作業時間でない」ということは間違いである」ということは本当であるとしたら「それはＮＳＰでない」ということは真実だ"が導かれる
2. 推論1から、仮説が導かれる

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