「あの目高さんは輸出力だ」ということは成り立つ
fact1: もしもあの目高さんが免責するとすればそれは冷水摩擦でないし加えて向かい掛けない fact2: もし仮に何らかの物は冷水摩擦だということはなくてしかも向かい掛けないならばそれは輸出力でない fact3: 「あの目高さんは冷水摩擦であるけれど向かい掛けない」ということは正しいとしたら輸出力でない fact4: 「もしあの目高さんが冷水摩擦でないけどそれが向かい掛ければあの目高さんは輸出力であるということはない」ということは事実と異ならない fact5: あの天然繊維は免責する fact6: あの目高さんは免責する
fact1 & fact6 -> int1: あの目高さんは冷水摩擦でないしさらにそれは向かい掛けるということはない; fact2 -> int2: もしもあの目高さんは冷水摩擦であるということはなくてかつ向かい掛けないとするとそれは輸出力でない; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもあの目高さんが免責するとすればそれは冷水摩擦でないし加えて向かい掛けない fact2: もし仮に何らかの物は冷水摩擦だということはなくてしかも向かい掛けないならばそれは輸出力でない fact3: 「あの目高さんは冷水摩擦であるけれど向かい掛けない」ということは正しいとしたら輸出力でない fact4: 「もしあの目高さんが冷水摩擦でないけどそれが向かい掛ければあの目高さんは輸出力であるということはない」ということは事実と異ならない fact5: あの天然繊維は免責する fact6: あの目高さんは免責する ; $hypothesis$ = 「あの目高さんは輸出力だ」ということは成り立つ ; $proof$ = 
fact1 & fact6 -> int1: あの目高さんは冷水摩擦でないしさらにそれは向かい掛けるということはない; fact2 -> int2: もしもあの目高さんは冷水摩擦であるということはなくてかつ向かい掛けないとするとそれは輸出力でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの目高さんが免責するとすればそれは冷水摩擦でないし加えて向かい掛けない
事実2: もし仮に何らかの物は冷水摩擦だということはなくてしかも向かい掛けないならばそれは輸出力でない
事実3: 「あの目高さんは冷水摩擦であるけれど向かい掛けない」ということは正しいとしたら輸出力でない
事実4: 「もしあの目高さんが冷水摩擦でないけどそれが向かい掛ければあの目高さんは輸出力であるということはない」ということは事実と異ならない
事実5: あの天然繊維は免責する
事実6: あの目高さんは免責する

仮説: 「あの目高さんは輸出力だ」ということは成り立つ
1. 事実1と事実6から、推論1: "あの目高さんは冷水摩擦でないしさらにそれは向かい掛けるということはない"が導かれる
2. 事実2から、推論2: "もしもあの目高さんは冷水摩擦であるということはなくてかつ向かい掛けないとするとそれは輸出力でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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