あの品質問題は報じる
fact1: あの品質問題は疲れ難いけど羨ましがらない fact2: もしも「あの品質問題はメンバー企業でないがしかし移封する」ということは成り立たないとすれば「この話法は色っぽくない」ということは成り立つ fact3: ちっちゃい物は鉢巻きであるけれど毛深いということはない fact4: もし仮にあの品質問題は疲れ難いが羨ましがるということはないならばそれは報じない fact5: 色っぽくない物はちっちゃいしそれに報じる
fact4 & fact1 -> hypothesis;
この話法は鉢巻きだけど毛深くない
fact6 -> int1: もし仮にこの話法がちっちゃいとしたら鉢巻きであるしそれは毛深くない; fact7 -> int2: もしもこの話法が色っぽくないならばそれはちっちゃいし報じる;
$facts$ = fact1: あの品質問題は疲れ難いけど羨ましがらない fact2: もしも「あの品質問題はメンバー企業でないがしかし移封する」ということは成り立たないとすれば「この話法は色っぽくない」ということは成り立つ fact3: ちっちゃい物は鉢巻きであるけれど毛深いということはない fact4: もし仮にあの品質問題は疲れ難いが羨ましがるということはないならばそれは報じない fact5: 色っぽくない物はちっちゃいしそれに報じる ; $hypothesis$ = あの品質問題は報じる ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: あの品質問題は疲れ難いけど羨ましがらない
事実2: もしも「あの品質問題はメンバー企業でないがしかし移封する」ということは成り立たないとすれば「この話法は色っぽくない」ということは成り立つ
事実3: ちっちゃい物は鉢巻きであるけれど毛深いということはない
事実4: もし仮にあの品質問題は疲れ難いが羨ましがるということはないならばそれは報じない
事実5: 色っぽくない物はちっちゃいしそれに報じる

仮説: あの品質問題は報じる
1. 事実4と事実1から、仮説が否定される

よって、仮説が否定されました。