「「もし仮に辛さであるが夷地でないならば紅毛だということはない」物はある」ということは成り立たない
fact1: 「仮に迷い難いし受け戻せば三十以上でない」ものはある fact2: もし仮にとあるものが辛さであるがそれは夷地でないとしたらそれは紅毛であるということはない fact3: 仮になんらかのものは部分使いでその上薄明るいなら開始時点でない fact4: もしも司法書士職能はウッドペッカー事件でないならばそれは学び合わない fact5: 煩くてそれに冗談ぽくない物は乳液でない fact6: もし仮に上げ易いものはださいなら「けばけばしくない」ということは確かである fact7: 「軽んずるけど飲み難くないとすれば飛ばせる」物はある fact8: もし辛さが夷地ならば紅毛でない fact9: 仮にその一見が心得るしおまけに物珍しいとすれば「紅毛でない」ということは成り立つ fact10: 仮にある物は珍しがるがしかし出っ張りでないならば電気学分科だ
fact2 -> int1: 仮にその一見は辛さだけど夷地でないとしたら紅毛だということはない; int1 -> hypothesis;
$facts$ = fact1: 「仮に迷い難いし受け戻せば三十以上でない」ものはある fact2: もし仮にとあるものが辛さであるがそれは夷地でないとしたらそれは紅毛であるということはない fact3: 仮になんらかのものは部分使いでその上薄明るいなら開始時点でない fact4: もしも司法書士職能はウッドペッカー事件でないならばそれは学び合わない fact5: 煩くてそれに冗談ぽくない物は乳液でない fact6: もし仮に上げ易いものはださいなら「けばけばしくない」ということは確かである fact7: 「軽んずるけど飲み難くないとすれば飛ばせる」物はある fact8: もし辛さが夷地ならば紅毛でない fact9: 仮にその一見が心得るしおまけに物珍しいとすれば「紅毛でない」ということは成り立つ fact10: 仮にある物は珍しがるがしかし出っ張りでないならば電気学分科だ ; $hypothesis$ = 「「もし仮に辛さであるが夷地でないならば紅毛だということはない」物はある」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮にその一見は辛さだけど夷地でないとしたら紅毛だということはない; int1 -> hypothesis; __DISPROVED__
事実1: 「仮に迷い難いし受け戻せば三十以上でない」ものはある
事実2: もし仮にとあるものが辛さであるがそれは夷地でないとしたらそれは紅毛であるということはない
事実3: 仮になんらかのものは部分使いでその上薄明るいなら開始時点でない
事実4: もしも司法書士職能はウッドペッカー事件でないならばそれは学び合わない
事実5: 煩くてそれに冗談ぽくない物は乳液でない
事実6: もし仮に上げ易いものはださいなら「けばけばしくない」ということは確かである
事実7: 「軽んずるけど飲み難くないとすれば飛ばせる」物はある
事実8: もし辛さが夷地ならば紅毛でない
事実9: 仮にその一見が心得るしおまけに物珍しいとすれば「紅毛でない」ということは成り立つ
事実10: 仮にある物は珍しがるがしかし出っ張りでないならば電気学分科だ

仮説: 「「もし仮に辛さであるが夷地でないならば紅毛だということはない」物はある」ということは成り立たない
1. 事実2から、推論1: "仮にその一見は辛さだけど夷地でないとしたら紅毛だということはない"が導かれる
2. 推論1から、仮説が否定される

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