この問題・課題は巡航するけど転げ出さない
fact1: もし仮にこの愛読者は青っぽいなら「この問題・課題は転げ出さないがしかし晒され易い」ということは嘘である fact2: もしも「この愛読者は青っぽいかもしくは怖くないかどちらもである」ということは成り立つということはないとすればそのＴマンは青っぽい fact3: そのＴマンは外でかつ巡航する fact4: 「この問題・課題は転げ出さない一方で晒され易い」ということは誤っているとしたらそのＴマンは晒され易くない fact5: もしその養殖筏が怖くないとすればあの企業情報は青っぽいしまた美々しい fact6: その浪士達は巡航する fact7: そのＴマンが外だとしたらその特定商取り引き法は外だ fact8: もしあの企業情報が青っぽいとしたらこの愛読者は青っぽい fact9: もし仮にこの問題・課題は巡航するとすれば「そのＴマンは巡航するが転げ出さない」ということは本当でない fact10: 仮にあるものが晒され易くないとしたらそれは巡航するしその上外だ fact11: 仮にそのＴマンは巡航するとしたら「「この問題・課題は巡航するがしかし転げ出さない」ということは事実である」ということは偽だ fact12: 仮にそのＴマンは巡航するとすると「この問題・課題は巡航するけれど外でない」ということは成り立たない fact13: 仮にあるものが青っぽいとすると外であるということはないけれど晒され易い
fact3 -> int1: 「そのＴマンは巡航する」ということは正しい; int1 & fact11 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact11 -> hypothesis;
この問題・課題は巡航するけれど転げ出すということはない
fact14 -> int2: そのＴマンが青っぽいならばそれは外でないが晒され易い;
$facts$ = fact1: もし仮にこの愛読者は青っぽいなら「この問題・課題は転げ出さないがしかし晒され易い」ということは嘘である fact2: もしも「この愛読者は青っぽいかもしくは怖くないかどちらもである」ということは成り立つということはないとすればそのＴマンは青っぽい fact3: そのＴマンは外でかつ巡航する fact4: 「この問題・課題は転げ出さない一方で晒され易い」ということは誤っているとしたらそのＴマンは晒され易くない fact5: もしその養殖筏が怖くないとすればあの企業情報は青っぽいしまた美々しい fact6: その浪士達は巡航する fact7: そのＴマンが外だとしたらその特定商取り引き法は外だ fact8: もしあの企業情報が青っぽいとしたらこの愛読者は青っぽい fact9: もし仮にこの問題・課題は巡航するとすれば「そのＴマンは巡航するが転げ出さない」ということは本当でない fact10: 仮にあるものが晒され易くないとしたらそれは巡航するしその上外だ fact11: 仮にそのＴマンは巡航するとしたら「「この問題・課題は巡航するがしかし転げ出さない」ということは事実である」ということは偽だ fact12: 仮にそのＴマンは巡航するとすると「この問題・課題は巡航するけれど外でない」ということは成り立たない fact13: 仮にあるものが青っぽいとすると外であるということはないけれど晒され易い ; $hypothesis$ = この問題・課題は巡航するけど転げ出さない ; $proof$ = 
fact3 -> int1: 「そのＴマンは巡航する」ということは正しい; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮にこの愛読者は青っぽいなら「この問題・課題は転げ出さないがしかし晒され易い」ということは嘘である
事実2: もしも「この愛読者は青っぽいかもしくは怖くないかどちらもである」ということは成り立つということはないとすればそのＴマンは青っぽい
事実3: そのＴマンは外でかつ巡航する
事実4: 「この問題・課題は転げ出さない一方で晒され易い」ということは誤っているとしたらそのＴマンは晒され易くない
事実5: もしその養殖筏が怖くないとすればあの企業情報は青っぽいしまた美々しい
事実6: その浪士達は巡航する
事実7: そのＴマンが外だとしたらその特定商取り引き法は外だ
事実8: もしあの企業情報が青っぽいとしたらこの愛読者は青っぽい
事実9: もし仮にこの問題・課題は巡航するとすれば「そのＴマンは巡航するが転げ出さない」ということは本当でない
事実10: 仮にあるものが晒され易くないとしたらそれは巡航するしその上外だ
事実11: 仮にそのＴマンは巡航するとしたら「「この問題・課題は巡航するがしかし転げ出さない」ということは事実である」ということは偽だ
事実12: 仮にそのＴマンは巡航するとすると「この問題・課題は巡航するけれど外でない」ということは成り立たない
事実13: 仮にあるものが青っぽいとすると外であるということはないけれど晒され易い

仮説: この問題・課題は巡航するけど転げ出さない
1. 事実3から、推論1: "「そのＴマンは巡航する」ということは正しい"が導かれる
2. 推論1と事実11から、仮説が否定される

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