「もしも「聞き易くないしおまけに麗々しくない」ということは成り立つということはないとすれば眩しくない」ものはある
fact1: もし「あの受け取り手形割り引き高は聞き易くないしまたそれは麗々しくない」ということは成り立たないなら眩しくない fact2: 「もし仮に「アスピックだが色好くない」ということは嘘だとすれば青少年施策でない」ものはある fact3: 「あるものは疑り深くなくてまた当たり難くない」ということは嘘ならばそれは通い合わない fact4: もし「何らかのものは辛抱強くないし覚え難くない」ということは成り立たないとすればそれは死に掛からない fact5: 「もし聞き易くないしさらに麗々しくないとすると眩しくない」ものはある fact6: 「もし仮に「心安いということはないしさらに調整出来ない」ということは事実と異なるとすると見ゆ」物はある fact7: 「もし政治構造だということはなくて掛け易くないとしたら修行しない」物はある fact8: 「もしぎごちないとすれば重苦しくない」物はある fact9: 「「「範囲指定しなくて加えて命中しない」ということは間違いだとしたら投資ファンドな」ものはある」ということは本当だ fact10: 「もしもいじましくなくて更に凸凹しないならば「山家でない」ということは確かである」物はある fact11: 「「仮に「聞き易くない一方で麗々しい」ということは事実と異なるとすると「眩しくない」ということは成り立つ」ものはある」ということは間違っていない fact12: あの受け取り手形割り引き高が聞き易いとするとそれは眩しくない
fact1 -> hypothesis;
fact1 -> hypothesis;
「もし「疑り深いということはなくて加えて当たり難くない」ということは間違いなら通い合わない」ものはある
fact13 -> int1: もしも「この猛反対は疑り深くないしおまけに当たり難くない」ということは確かでないとすれば「それは通い合う」ということは嘘だ; int1 -> hypothesis;
$facts$ = fact1: もし「あの受け取り手形割り引き高は聞き易くないしまたそれは麗々しくない」ということは成り立たないなら眩しくない fact2: 「もし仮に「アスピックだが色好くない」ということは嘘だとすれば青少年施策でない」ものはある fact3: 「あるものは疑り深くなくてまた当たり難くない」ということは嘘ならばそれは通い合わない fact4: もし「何らかのものは辛抱強くないし覚え難くない」ということは成り立たないとすればそれは死に掛からない fact5: 「もし聞き易くないしさらに麗々しくないとすると眩しくない」ものはある fact6: 「もし仮に「心安いということはないしさらに調整出来ない」ということは事実と異なるとすると見ゆ」物はある fact7: 「もし政治構造だということはなくて掛け易くないとしたら修行しない」物はある fact8: 「もしぎごちないとすれば重苦しくない」物はある fact9: 「「「範囲指定しなくて加えて命中しない」ということは間違いだとしたら投資ファンドな」ものはある」ということは本当だ fact10: 「もしもいじましくなくて更に凸凹しないならば「山家でない」ということは確かである」物はある fact11: 「「仮に「聞き易くない一方で麗々しい」ということは事実と異なるとすると「眩しくない」ということは成り立つ」ものはある」ということは間違っていない fact12: あの受け取り手形割り引き高が聞き易いとするとそれは眩しくない ; $hypothesis$ = 「もしも「聞き易くないしおまけに麗々しくない」ということは成り立つということはないとすれば眩しくない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし「あの受け取り手形割り引き高は聞き易くないしまたそれは麗々しくない」ということは成り立たないなら眩しくない
事実2: 「もし仮に「アスピックだが色好くない」ということは嘘だとすれば青少年施策でない」ものはある
事実3: 「あるものは疑り深くなくてまた当たり難くない」ということは嘘ならばそれは通い合わない
事実4: もし「何らかのものは辛抱強くないし覚え難くない」ということは成り立たないとすればそれは死に掛からない
事実5: 「もし聞き易くないしさらに麗々しくないとすると眩しくない」ものはある
事実6: 「もし仮に「心安いということはないしさらに調整出来ない」ということは事実と異なるとすると見ゆ」物はある
事実7: 「もし政治構造だということはなくて掛け易くないとしたら修行しない」物はある
事実8: 「もしぎごちないとすれば重苦しくない」物はある
事実9: 「「「範囲指定しなくて加えて命中しない」ということは間違いだとしたら投資ファンドな」ものはある」ということは本当だ
事実10: 「もしもいじましくなくて更に凸凹しないならば「山家でない」ということは確かである」物はある
事実11: 「「仮に「聞き易くない一方で麗々しい」ということは事実と異なるとすると「眩しくない」ということは成り立つ」ものはある」ということは間違っていない
事実12: あの受け取り手形割り引き高が聞き易いとするとそれは眩しくない

仮説: 「もしも「聞き易くないしおまけに麗々しくない」ということは成り立つということはないとすれば眩しくない」ものはある
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。