「あのテトラポッドは銘じるしまたぎごちらない」ということは成り立たないならば迎え入れない
fact1: もしも何らかのものは文字資料でないならば香しいということはない fact2: 仮に「とある物は銘じるしそれはぎごちない」ということは成り立たないとすると迎え入れるということはない fact3: 「とある物は銘じるしさらにそれはぎごちない」ということは成り立たないなら迎え入れる fact4: もしあのテトラポッドがぎごちないということはないとすると迎え入れるということはない fact5: もしもあのテトラポッドは銘じるししかもぎごちないとすると迎え入れない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしも何らかのものは文字資料でないならば香しいということはない fact2: 仮に「とある物は銘じるしそれはぎごちない」ということは成り立たないとすると迎え入れるということはない fact3: 「とある物は銘じるしさらにそれはぎごちない」ということは成り立たないなら迎え入れる fact4: もしあのテトラポッドがぎごちないということはないとすると迎え入れるということはない fact5: もしもあのテトラポッドは銘じるししかもぎごちないとすると迎え入れない ; $hypothesis$ = 「あのテトラポッドは銘じるしまたぎごちらない」ということは成り立たないならば迎え入れない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも何らかのものは文字資料でないならば香しいということはない
事実2: 仮に「とある物は銘じるしそれはぎごちない」ということは成り立たないとすると迎え入れるということはない
事実3: 「とある物は銘じるしさらにそれはぎごちない」ということは成り立たないなら迎え入れる
事実4: もしあのテトラポッドがぎごちないということはないとすると迎え入れるということはない
事実5: もしもあのテトラポッドは銘じるししかもぎごちないとすると迎え入れない

仮説: 「あのテトラポッドは銘じるしまたぎごちらない」ということは成り立たないならば迎え入れない
1. 事実2から、仮説が導かれる

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