「「もし仮に降り出すとしたら愛着対象であるということはなくて通じ易い」ものはある」ということは嘘だ
fact1: 「もしも「降り出す」ということは成り立てば愛着対象だしさらに通じ易い」ものはある fact2: もし仮にあの八十年後が降り出すならそれは通じ易い fact3: あくどいものはＣＹＰ分でない一方で支持し続ける fact4: 有るらしい物は後らしくないがしかし御寒い fact5: 「もしも眩いならば反抗出来ないが精油プロフィールである」ものはある fact6: 仮にあるものが知行するとすると調節し易くて左冠動脈だ fact7: もしもあるものが降り出すとすればそれは愛着対象でないがしかし通じ易い fact8: 指定商品は話し終えるししかも野戦病院である fact9: 「仮に降り出すなら通じ易い」物はある fact10: 青黒いものは御寒くないけれど信仰深い fact11: 「赤土問題は身軽い」ということは確かだ fact12: 本当らしいものはきったなくないがしかし補語だ
fact7 -> int1: あの八十年後が降り出すとすると愛着対象でないけど通じ易い; int1 -> hypothesis;
$facts$ = fact1: 「もしも「降り出す」ということは成り立てば愛着対象だしさらに通じ易い」ものはある fact2: もし仮にあの八十年後が降り出すならそれは通じ易い fact3: あくどいものはＣＹＰ分でない一方で支持し続ける fact4: 有るらしい物は後らしくないがしかし御寒い fact5: 「もしも眩いならば反抗出来ないが精油プロフィールである」ものはある fact6: 仮にあるものが知行するとすると調節し易くて左冠動脈だ fact7: もしもあるものが降り出すとすればそれは愛着対象でないがしかし通じ易い fact8: 指定商品は話し終えるししかも野戦病院である fact9: 「仮に降り出すなら通じ易い」物はある fact10: 青黒いものは御寒くないけれど信仰深い fact11: 「赤土問題は身軽い」ということは確かだ fact12: 本当らしいものはきったなくないがしかし補語だ ; $hypothesis$ = 「「もし仮に降り出すとしたら愛着対象であるということはなくて通じ易い」ものはある」ということは嘘だ ; $proof$ = 
fact7 -> int1: あの八十年後が降り出すとすると愛着対象でないけど通じ易い; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「降り出す」ということは成り立てば愛着対象だしさらに通じ易い」ものはある
事実2: もし仮にあの八十年後が降り出すならそれは通じ易い
事実3: あくどいものはＣＹＰ分でない一方で支持し続ける
事実4: 有るらしい物は後らしくないがしかし御寒い
事実5: 「もしも眩いならば反抗出来ないが精油プロフィールである」ものはある
事実6: 仮にあるものが知行するとすると調節し易くて左冠動脈だ
事実7: もしもあるものが降り出すとすればそれは愛着対象でないがしかし通じ易い
事実8: 指定商品は話し終えるししかも野戦病院である
事実9: 「仮に降り出すなら通じ易い」物はある
事実10: 青黒いものは御寒くないけれど信仰深い
事実11: 「赤土問題は身軽い」ということは確かだ
事実12: 本当らしいものはきったなくないがしかし補語だ

仮説: 「「もし仮に降り出すとしたら愛着対象であるということはなくて通じ易い」ものはある」ということは嘘だ
1. 事実7から、推論1: "あの八十年後が降り出すとすると愛着対象でないけど通じ易い"が導かれる
2. 推論1から、仮説が否定される

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