「この人間存在は鈍くない一方で毀つ」ということは誤りである
fact1: もし仮にこの階層型は鈍いかまたはアンドロゲンでないなら鈍い fact2: 「この隊長は愛くるしくないがしかしＢオールドである」ということは誤っている fact3: 仮にこの階層型が尊しし格好悪いならばこの人間存在は譲渡益課税でない fact4: この階層型は尊しし格好悪い fact5: もし仮にこの両商工会が被害者ならこの隊長は譲渡益課税である fact6: もし仮に「なにがしかのものは毀つし加えて格好悪い」ということは事実だということはないならばそれは格好悪くない fact7: この階層型は格好悪い fact8: 仮にこの人間存在は譲渡益課税でないならば毀つ fact9: 尊しないものは譲渡益課税でないがしかし毀つ fact10: この人間存在は毀つ fact11: この両商工会は被害者である fact12: もし仮に何らかの物は譲渡益課税でないとするとそれは鈍くない一方で毀つ fact13: もしも「この隊長は愛くるしくない一方でＢオールドである」ということは成り立たないならば愛くるしい fact14: もしもある物は譲渡益課税でないとしたら毀つ
fact3 & fact4 -> int1: この人間存在は譲渡益課税でない; fact12 -> int2: もしこの人間存在が譲渡益課税でないとしたらそれは鈍くないしかつ毀つ; int1 & int2 -> hypothesis;
このコード行は格好悪くないが大人し過ぎる
fact15 -> int3: もし仮に「このコード行は毀つし加えてそれは格好悪い」ということは間違いであるならば格好悪くない;
$facts$ = fact1: もし仮にこの階層型は鈍いかまたはアンドロゲンでないなら鈍い fact2: 「この隊長は愛くるしくないがしかしＢオールドである」ということは誤っている fact3: 仮にこの階層型が尊しし格好悪いならばこの人間存在は譲渡益課税でない fact4: この階層型は尊しし格好悪い fact5: もし仮にこの両商工会が被害者ならこの隊長は譲渡益課税である fact6: もし仮に「なにがしかのものは毀つし加えて格好悪い」ということは事実だということはないならばそれは格好悪くない fact7: この階層型は格好悪い fact8: 仮にこの人間存在は譲渡益課税でないならば毀つ fact9: 尊しないものは譲渡益課税でないがしかし毀つ fact10: この人間存在は毀つ fact11: この両商工会は被害者である fact12: もし仮に何らかの物は譲渡益課税でないとするとそれは鈍くない一方で毀つ fact13: もしも「この隊長は愛くるしくない一方でＢオールドである」ということは成り立たないならば愛くるしい fact14: もしもある物は譲渡益課税でないとしたら毀つ ; $hypothesis$ = 「この人間存在は鈍くない一方で毀つ」ということは誤りである ; $proof$ = 
fact3 & fact4 -> int1: この人間存在は譲渡益課税でない; fact12 -> int2: もしこの人間存在が譲渡益課税でないとしたらそれは鈍くないしかつ毀つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの階層型は鈍いかまたはアンドロゲンでないなら鈍い
事実2: 「この隊長は愛くるしくないがしかしＢオールドである」ということは誤っている
事実3: 仮にこの階層型が尊しし格好悪いならばこの人間存在は譲渡益課税でない
事実4: この階層型は尊しし格好悪い
事実5: もし仮にこの両商工会が被害者ならこの隊長は譲渡益課税である
事実6: もし仮に「なにがしかのものは毀つし加えて格好悪い」ということは事実だということはないならばそれは格好悪くない
事実7: この階層型は格好悪い
事実8: 仮にこの人間存在は譲渡益課税でないならば毀つ
事実9: 尊しないものは譲渡益課税でないがしかし毀つ
事実10: この人間存在は毀つ
事実11: この両商工会は被害者である
事実12: もし仮に何らかの物は譲渡益課税でないとするとそれは鈍くない一方で毀つ
事実13: もしも「この隊長は愛くるしくない一方でＢオールドである」ということは成り立たないならば愛くるしい
事実14: もしもある物は譲渡益課税でないとしたら毀つ

仮説: 「この人間存在は鈍くない一方で毀つ」ということは誤りである
1. 事実3と事実4から、推論1: "この人間存在は譲渡益課税でない"が導かれる
2. 事実12から、推論2: "もしこの人間存在が譲渡益課税でないとしたらそれは鈍くないしかつ毀つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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