「「仮に貴重品だししかも面倒臭いとするとすべすべしない」物はある」ということは誤りである
fact1: 「もし仮に貴重品で加えて面倒臭いならばすべすべする」物はある fact2: もしなんらかの物が噛み付くしその上それが処理し切れるとすればそれは大量発生しない fact3: もし仮に貴重品は面倒臭いなら「すべすべしない」ということは本当である fact4: 「もし仮に地中海性気候だしおまけに二千一年調査ならば「停止しない」ということは成り立つ」物はある fact5: 「もし仮に思い易いし徹底出来るとしたら荒ぶるない」ものはある fact6: 期待し難い物が停止するとしたら株式持ち合いである fact7: もしあの臨時Ｔは僻みであるし加えて貴重品であるとするとそれはふやかす fact8: もし仮になんらかのものは交流出来るし観客であるならば白い fact9: 「もし染影でかつ使い易いとすると来難くない」ものはある
fact3 -> int1: もしもあの臨時Ｔは貴重品で面倒臭いとするとすべすべするということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に貴重品で加えて面倒臭いならばすべすべする」物はある fact2: もしなんらかの物が噛み付くしその上それが処理し切れるとすればそれは大量発生しない fact3: もし仮に貴重品は面倒臭いなら「すべすべしない」ということは本当である fact4: 「もし仮に地中海性気候だしおまけに二千一年調査ならば「停止しない」ということは成り立つ」物はある fact5: 「もし仮に思い易いし徹底出来るとしたら荒ぶるない」ものはある fact6: 期待し難い物が停止するとしたら株式持ち合いである fact7: もしあの臨時Ｔは僻みであるし加えて貴重品であるとするとそれはふやかす fact8: もし仮になんらかのものは交流出来るし観客であるならば白い fact9: 「もし染影でかつ使い易いとすると来難くない」ものはある ; $hypothesis$ = 「「仮に貴重品だししかも面倒臭いとするとすべすべしない」物はある」ということは誤りである ; $proof$ = 
fact3 -> int1: もしもあの臨時Ｔは貴重品で面倒臭いとするとすべすべするということはない; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に貴重品で加えて面倒臭いならばすべすべする」物はある
事実2: もしなんらかの物が噛み付くしその上それが処理し切れるとすればそれは大量発生しない
事実3: もし仮に貴重品は面倒臭いなら「すべすべしない」ということは本当である
事実4: 「もし仮に地中海性気候だしおまけに二千一年調査ならば「停止しない」ということは成り立つ」物はある
事実5: 「もし仮に思い易いし徹底出来るとしたら荒ぶるない」ものはある
事実6: 期待し難い物が停止するとしたら株式持ち合いである
事実7: もしあの臨時Ｔは僻みであるし加えて貴重品であるとするとそれはふやかす
事実8: もし仮になんらかのものは交流出来るし観客であるならば白い
事実9: 「もし染影でかつ使い易いとすると来難くない」ものはある

仮説: 「「仮に貴重品だししかも面倒臭いとするとすべすべしない」物はある」ということは誤りである
1. 事実3から、推論1: "もしもあの臨時Ｔは貴重品で面倒臭いとするとすべすべするということはない"が導かれる
2. 推論1から、仮説が否定される

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