あのＯさんは隠れる
fact1: もしもその高遠はしょぼいとすれば「この細胞内ＣＡは長ーくないし有り難くない」ということは事実と異なる fact2: 「あのＯさんは隠れるしそれにインポートし為さる」ということは成り立つ fact3: あのＯさんはインポートし為さる fact4: もし「その高遠は多忙である」ということは事実だとするとそれはしょぼい fact5: もし「その曲率半径Ｒは落ち易くておまけに隠れる」ということは間違いならばあのＯさんは隠れるということはない fact6: もし「なんらかのものは長ーくないし有り難くない」ということは間違っているならそれは懐っこくない fact7: もし「この細胞内ＣＡは懐っこくない」ということは本当だとすれば「あの糞爺いはインポートし為さるということはないし愚かしいということはない」ということは間違いだ fact8: もし「その高遠は忙しい」ということは成り立てば「「多忙でない」ということは真実である」ということは事実と異なる
fact2 -> hypothesis;
あのＯさんは隠れない
fact14 -> int1: もしも「この細胞内ＣＡは長ーくないしおまけに有り難くない」ということは成り立たないとするとそれは懐っこくない;
$facts$ = fact1: もしもその高遠はしょぼいとすれば「この細胞内ＣＡは長ーくないし有り難くない」ということは事実と異なる fact2: 「あのＯさんは隠れるしそれにインポートし為さる」ということは成り立つ fact3: あのＯさんはインポートし為さる fact4: もし「その高遠は多忙である」ということは事実だとするとそれはしょぼい fact5: もし「その曲率半径Ｒは落ち易くておまけに隠れる」ということは間違いならばあのＯさんは隠れるということはない fact6: もし「なんらかのものは長ーくないし有り難くない」ということは間違っているならそれは懐っこくない fact7: もし「この細胞内ＣＡは懐っこくない」ということは本当だとすれば「あの糞爺いはインポートし為さるということはないし愚かしいということはない」ということは間違いだ fact8: もし「その高遠は忙しい」ということは成り立てば「「多忙でない」ということは真実である」ということは事実と異なる ; $hypothesis$ = あのＯさんは隠れる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもその高遠はしょぼいとすれば「この細胞内ＣＡは長ーくないし有り難くない」ということは事実と異なる
事実2: 「あのＯさんは隠れるしそれにインポートし為さる」ということは成り立つ
事実3: あのＯさんはインポートし為さる
事実4: もし「その高遠は多忙である」ということは事実だとするとそれはしょぼい
事実5: もし「その曲率半径Ｒは落ち易くておまけに隠れる」ということは間違いならばあのＯさんは隠れるということはない
事実6: もし「なんらかのものは長ーくないし有り難くない」ということは間違っているならそれは懐っこくない
事実7: もし「この細胞内ＣＡは懐っこくない」ということは本当だとすれば「あの糞爺いはインポートし為さるということはないし愚かしいということはない」ということは間違いだ
事実8: もし「その高遠は忙しい」ということは成り立てば「「多忙でない」ということは真実である」ということは事実と異なる

仮説: あのＯさんは隠れる
1. 事実2から、仮説が導かれる

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