この航空管制は常設する
fact1: この航空管制ははしたない fact2: あのメラニンは常設する fact3: あの窯は若いとしたら「この医療スタッフは若い」ということは成り立つ fact4: もしも「あの基準タイムファイルはビルト‐イン‐スタビライザーでない」ということは誤っていないとするとあの窯は若くてバロメータである fact5: この航空管制は振動する fact6: もしもこの航空管制は判別し難くないしおまけにバロメータでないとしたら君らしい fact7: その風味付けは常設する fact8: この航空管制は完全房室ブロックだ fact9: その動脈血酸素分圧は常設する fact10: 「あの基準タイムファイルは民間業者でないしかつ系でない」ということは間違っている fact11: 「この気管支拡張剤は常設する」ということは真実である fact12: 「この航空管制は常設する」ということは真実である fact13: あの銀やんまは常設する fact14: あの日程度は常設する fact15: もし仮に「あの基準タイムファイルは民間業者であるということはなくてしかも系でない」ということは成り立たないとしたらそれはビルト‐イン‐スタビライザーでない fact16: この航空管制はＯＢ臭い
fact12 -> hypothesis;
この流転は常設する
$facts$ = fact1: この航空管制ははしたない fact2: あのメラニンは常設する fact3: あの窯は若いとしたら「この医療スタッフは若い」ということは成り立つ fact4: もしも「あの基準タイムファイルはビルト‐イン‐スタビライザーでない」ということは誤っていないとするとあの窯は若くてバロメータである fact5: この航空管制は振動する fact6: もしもこの航空管制は判別し難くないしおまけにバロメータでないとしたら君らしい fact7: その風味付けは常設する fact8: この航空管制は完全房室ブロックだ fact9: その動脈血酸素分圧は常設する fact10: 「あの基準タイムファイルは民間業者でないしかつ系でない」ということは間違っている fact11: 「この気管支拡張剤は常設する」ということは真実である fact12: 「この航空管制は常設する」ということは真実である fact13: あの銀やんまは常設する fact14: あの日程度は常設する fact15: もし仮に「あの基準タイムファイルは民間業者であるということはなくてしかも系でない」ということは成り立たないとしたらそれはビルト‐イン‐スタビライザーでない fact16: この航空管制はＯＢ臭い ; $hypothesis$ = この航空管制は常設する ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: この航空管制ははしたない
事実2: あのメラニンは常設する
事実3: あの窯は若いとしたら「この医療スタッフは若い」ということは成り立つ
事実4: もしも「あの基準タイムファイルはビルト‐イン‐スタビライザーでない」ということは誤っていないとするとあの窯は若くてバロメータである
事実5: この航空管制は振動する
事実6: もしもこの航空管制は判別し難くないしおまけにバロメータでないとしたら君らしい
事実7: その風味付けは常設する
事実8: この航空管制は完全房室ブロックだ
事実9: その動脈血酸素分圧は常設する
事実10: 「あの基準タイムファイルは民間業者でないしかつ系でない」ということは間違っている
事実11: 「この気管支拡張剤は常設する」ということは真実である
事実12: 「この航空管制は常設する」ということは真実である
事実13: あの銀やんまは常設する
事実14: あの日程度は常設する
事実15: もし仮に「あの基準タイムファイルは民間業者であるということはなくてしかも系でない」ということは成り立たないとしたらそれはビルト‐イン‐スタビライザーでない
事実16: この航空管制はＯＢ臭い

仮説: この航空管制は常設する
1. 事実12から、仮説が導かれる

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