あの設定結果は鋭い
fact1: もしあの潜水艦操縦練習機が反回でないとするとあの町人はぺこぺこしないしその上付け難くない fact2: 「なにかは厚かましくて首尾良い」ということは誤っているとするとそれは鋭くない fact3: ある物が鑑別診断であるかそれは反回でないかあるいはどちらもであるとすれば「反回でない」ということは本当だ fact4: もし「あの町人はＰＤＳでないかあるいは都々逸でない」ということは事実と異なるとしたらあの設定結果はミズ・ハートでない fact5: もしもある物はぺこぺこしないとすると「ＰＤＳでないかあるいはそれは都々逸でないか両方だ」ということは誤っている fact6: 「ほっくりする」物はある fact7: 「この鉱業所は鋭い」ということは成り立つ fact8: あの設定結果は鋭い fact9: なにかはミズ・ハートだということはないなら「それは厚かましいし加えて首尾良い」ということは成り立たない
fact8 -> hypothesis;
fact8 -> hypothesis;
あの設定結果は鋭くない
fact15 -> int1: 仮に「「あの設定結果は厚かましいししかも首尾良い」ということは確かである」ということは成り立たないとすると鋭くない; fact13 -> int2: もしあの設定結果はミズ・ハートであるということはないとしたら「厚かましいしそれに首尾良い」ということは誤りである; fact12 -> int3: もしもあの町人はぺこぺこしないとすれば「それはＰＤＳでないか都々逸でないかまたは両方である」ということは誤りである; fact11 -> int4: あの潜水艦操縦練習機は鑑別診断であるか反回だということはないかあるいは両方ならそれは反回でない;
$facts$ = fact1: もしあの潜水艦操縦練習機が反回でないとするとあの町人はぺこぺこしないしその上付け難くない fact2: 「なにかは厚かましくて首尾良い」ということは誤っているとするとそれは鋭くない fact3: ある物が鑑別診断であるかそれは反回でないかあるいはどちらもであるとすれば「反回でない」ということは本当だ fact4: もし「あの町人はＰＤＳでないかあるいは都々逸でない」ということは事実と異なるとしたらあの設定結果はミズ・ハートでない fact5: もしもある物はぺこぺこしないとすると「ＰＤＳでないかあるいはそれは都々逸でないか両方だ」ということは誤っている fact6: 「ほっくりする」物はある fact7: 「この鉱業所は鋭い」ということは成り立つ fact8: あの設定結果は鋭い fact9: なにかはミズ・ハートだということはないなら「それは厚かましいし加えて首尾良い」ということは成り立たない ; $hypothesis$ = あの設定結果は鋭い ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしあの潜水艦操縦練習機が反回でないとするとあの町人はぺこぺこしないしその上付け難くない
事実2: 「なにかは厚かましくて首尾良い」ということは誤っているとするとそれは鋭くない
事実3: ある物が鑑別診断であるかそれは反回でないかあるいはどちらもであるとすれば「反回でない」ということは本当だ
事実4: もし「あの町人はＰＤＳでないかあるいは都々逸でない」ということは事実と異なるとしたらあの設定結果はミズ・ハートでない
事実5: もしもある物はぺこぺこしないとすると「ＰＤＳでないかあるいはそれは都々逸でないか両方だ」ということは誤っている
事実6: 「ほっくりする」物はある
事実7: 「この鉱業所は鋭い」ということは成り立つ
事実8: あの設定結果は鋭い
事実9: なにかはミズ・ハートだということはないなら「それは厚かましいし加えて首尾良い」ということは成り立たない

仮説: あの設定結果は鋭い
1. 事実8から、仮説が導かれる

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