「「もし使い易くないとしたら「ちっちゃくなくてしかも婚姻しない」ということは嘘な」ものはある」ということは嘘である
fact1: 「もしも「活動し易くない」ということは成り立つとすると「「昼夜逆転するということはなくて会合しない」ということは確かである」ということは間違いである」物はある fact2: 「もしも使い易くないとすると「ちっちゃいけれど婚姻しない」ということは確かでない」物はある fact3: もし仮にあの綿羊が使い易くないならばそれはちっちゃくなくて加えてそれは婚姻しない fact4: 「仮に「使い易い」ということは成り立つとしたら「ちっちゃいということはなくてかつ婚姻しない」ということは誤りな」物はある fact5: もしもあの綿羊は使い易くないなら「それはちっちゃくないしかつそれは婚姻しない」ということは成り立たない fact6: 仮にあの綿羊は使い易くないならば「ちっちゃいけど婚姻するということはない」ということは成り立たない fact7: 「もし仮に使い易くないなら「ちっちゃくないけれど婚姻する」ということは事実と異なる」物はある fact8: 「「もしも使い易くないとしたらちっちゃくないし婚姻しない」ものはある」ということは確かである fact9: あの綿羊は使い易いとしたら「ちっちゃくないし更に婚姻するということはない」ということは成り立たない fact10: もしもあの綿羊は使い易くないとしたら「それはちっちゃくないけど婚姻する」ということは偽だ
fact5 -> hypothesis;
$facts$ = fact1: 「もしも「活動し易くない」ということは成り立つとすると「「昼夜逆転するということはなくて会合しない」ということは確かである」ということは間違いである」物はある fact2: 「もしも使い易くないとすると「ちっちゃいけれど婚姻しない」ということは確かでない」物はある fact3: もし仮にあの綿羊が使い易くないならばそれはちっちゃくなくて加えてそれは婚姻しない fact4: 「仮に「使い易い」ということは成り立つとしたら「ちっちゃいということはなくてかつ婚姻しない」ということは誤りな」物はある fact5: もしもあの綿羊は使い易くないなら「それはちっちゃくないしかつそれは婚姻しない」ということは成り立たない fact6: 仮にあの綿羊は使い易くないならば「ちっちゃいけど婚姻するということはない」ということは成り立たない fact7: 「もし仮に使い易くないなら「ちっちゃくないけれど婚姻する」ということは事実と異なる」物はある fact8: 「「もしも使い易くないとしたらちっちゃくないし婚姻しない」ものはある」ということは確かである fact9: あの綿羊は使い易いとしたら「ちっちゃくないし更に婚姻するということはない」ということは成り立たない fact10: もしもあの綿羊は使い易くないとしたら「それはちっちゃくないけど婚姻する」ということは偽だ ; $hypothesis$ = 「「もし使い易くないとしたら「ちっちゃくなくてしかも婚姻しない」ということは嘘な」ものはある」ということは嘘である ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「もしも「活動し易くない」ということは成り立つとすると「「昼夜逆転するということはなくて会合しない」ということは確かである」ということは間違いである」物はある
事実2: 「もしも使い易くないとすると「ちっちゃいけれど婚姻しない」ということは確かでない」物はある
事実3: もし仮にあの綿羊が使い易くないならばそれはちっちゃくなくて加えてそれは婚姻しない
事実4: 「仮に「使い易い」ということは成り立つとしたら「ちっちゃいということはなくてかつ婚姻しない」ということは誤りな」物はある
事実5: もしもあの綿羊は使い易くないなら「それはちっちゃくないしかつそれは婚姻しない」ということは成り立たない
事実6: 仮にあの綿羊は使い易くないならば「ちっちゃいけど婚姻するということはない」ということは成り立たない
事実7: 「もし仮に使い易くないなら「ちっちゃくないけれど婚姻する」ということは事実と異なる」物はある
事実8: 「「もしも使い易くないとしたらちっちゃくないし婚姻しない」ものはある」ということは確かである
事実9: あの綿羊は使い易いとしたら「ちっちゃくないし更に婚姻するということはない」ということは成り立たない
事実10: もしもあの綿羊は使い易くないとしたら「それはちっちゃくないけど婚姻する」ということは偽だ

仮説: 「「もし使い易くないとしたら「ちっちゃくなくてしかも婚姻しない」ということは嘘な」ものはある」ということは嘘である
1. 事実5から、仮説が否定される

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