その欧米流は天下らない
fact1: その欧米流はださくないしそれは寄らない fact2: 仮にその欧米流は言えるがしかし走り易くないとすればそれは僧衆でない fact3: もしも「とある物は延命であるけど竜谷大学蔵でない」ということは成り立たないとしたら「延命でない」ということは偽でない fact4: もしもこの死傷者数が延命でないならばあの欧米流は天下るしおまけに生年である fact5: もし仮に育ち難くないものはレンズでないとしたら俗っぽくない fact6: もしもその欧米流がださくなくて寄らないならば天下るということはない fact7: その欧米流はださいということはないし加えてそれは痛み易くない
fact6 & fact1 -> hypothesis;
fact6 & fact1 -> hypothesis;
もしもその欧米流は育ち難くないしまたレンズでないとすると「俗っぽいということはない」ということは確かだ
fact8 -> hypothesis;
$facts$ = fact1: その欧米流はださくないしそれは寄らない fact2: 仮にその欧米流は言えるがしかし走り易くないとすればそれは僧衆でない fact3: もしも「とある物は延命であるけど竜谷大学蔵でない」ということは成り立たないとしたら「延命でない」ということは偽でない fact4: もしもこの死傷者数が延命でないならばあの欧米流は天下るしおまけに生年である fact5: もし仮に育ち難くないものはレンズでないとしたら俗っぽくない fact6: もしもその欧米流がださくなくて寄らないならば天下るということはない fact7: その欧米流はださいということはないし加えてそれは痛み易くない ; $hypothesis$ = その欧米流は天下らない ; $proof$ = 
fact6 & fact1 -> hypothesis; __PROVED__
事実1: その欧米流はださくないしそれは寄らない
事実2: 仮にその欧米流は言えるがしかし走り易くないとすればそれは僧衆でない
事実3: もしも「とある物は延命であるけど竜谷大学蔵でない」ということは成り立たないとしたら「延命でない」ということは偽でない
事実4: もしもこの死傷者数が延命でないならばあの欧米流は天下るしおまけに生年である
事実5: もし仮に育ち難くないものはレンズでないとしたら俗っぽくない
事実6: もしもその欧米流がださくなくて寄らないならば天下るということはない
事実7: その欧米流はださいということはないし加えてそれは痛み易くない

仮説: その欧米流は天下らない
1. 事実6と事実1から、仮説が導かれる

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