この勝率は閲覧・謄写だ
fact1: もしもなにかは取り辛いならば「それは甘ったるいがしかし細くない」ということは間違っている fact2: もしもあの鼓膜所見が甘ったるくないならばこの勝率は閲覧・謄写である fact3: あの鼓膜所見は活動し難い fact4: あの鼓膜所見は集め易くないかもしくはそれは甘ったるくないかあるいは両方ともだ fact5: もし仮に「あの鼓膜所見は集め易くない」ということは成り立てばこの勝率は閲覧・謄写だ fact6: もしあの鼓膜所見は閲覧・謄写でないとしたら「この勝率は甘ったるい」ということは成り立つ fact7: もし仮に「あの鼓膜所見は甘ったるいけれど細くない」ということは間違っているとするとこの勝率は甘ったるい
fact4 & fact5 & fact2 -> hypothesis;
「この勝率は閲覧・謄写であるということはない」ということは確かだ
fact9 -> int1: もしもあの鼓膜所見は取り辛いとしたら「それは甘ったるいけれど細くない」ということは偽である;
$facts$ = fact1: もしもなにかは取り辛いならば「それは甘ったるいがしかし細くない」ということは間違っている fact2: もしもあの鼓膜所見が甘ったるくないならばこの勝率は閲覧・謄写である fact3: あの鼓膜所見は活動し難い fact4: あの鼓膜所見は集め易くないかもしくはそれは甘ったるくないかあるいは両方ともだ fact5: もし仮に「あの鼓膜所見は集め易くない」ということは成り立てばこの勝率は閲覧・謄写だ fact6: もしあの鼓膜所見は閲覧・謄写でないとしたら「この勝率は甘ったるい」ということは成り立つ fact7: もし仮に「あの鼓膜所見は甘ったるいけれど細くない」ということは間違っているとするとこの勝率は甘ったるい ; $hypothesis$ = この勝率は閲覧・謄写だ ; $proof$ = 
fact4 & fact5 & fact2 -> hypothesis; __PROVED__
事実1: もしもなにかは取り辛いならば「それは甘ったるいがしかし細くない」ということは間違っている
事実2: もしもあの鼓膜所見が甘ったるくないならばこの勝率は閲覧・謄写である
事実3: あの鼓膜所見は活動し難い
事実4: あの鼓膜所見は集め易くないかもしくはそれは甘ったるくないかあるいは両方ともだ
事実5: もし仮に「あの鼓膜所見は集め易くない」ということは成り立てばこの勝率は閲覧・謄写だ
事実6: もしあの鼓膜所見は閲覧・謄写でないとしたら「この勝率は甘ったるい」ということは成り立つ
事実7: もし仮に「あの鼓膜所見は甘ったるいけれど細くない」ということは間違っているとするとこの勝率は甘ったるい

仮説: この勝率は閲覧・謄写だ
1. 事実4と事実5と事実2から、仮説が導かれる

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