「あの新規シンボルは着始めないししかも気管支鏡所見でない」ということは事実と異なる
fact1: 「あの新規シンボルは着始めるということはないしかつ割れ難いということはない」ということは成り立たない fact2: あの新規シンボルは割れ難い fact3: あの一年先物は着始めるとすると「あの新規シンボルは着始めない一方で気管支鏡所見である」ということは成り立たない fact4: 「あの一年先物は割れ難くないしまた破産しない」ということは誤っている fact5: 割れ難いということはないものは着始めなくて気管支鏡所見でない fact6: 「あの新規シンボルは着始めないがそれは気管支鏡所見だ」ということは真実でない fact7: もしあの一年先物は着始めるとすると「あの新規シンボルは着始めるけど気管支鏡所見でない」ということは本当でない fact8: あの一年先物は割れ難いなら「それは着始める」ということは真実だ fact9: 「あの一年先物は割れ難い」ということは事実と異ならない fact10: もしもあの一年先物が割れ難くない一方で許し難いならばあの新規シンボルは割れ難くない fact11: 「「示し易い」ということは確かな」物はある fact12: あの一年先物は割れ難いとしたら「あの新規シンボルは割れ難くなくておまけにそれは着始めない」ということは成り立たない fact13: 不明瞭さは割れ難いということはないが許し難い fact14: 仮に「あの一年先物は着始める」ということは成り立つなら「あの新規シンボルは着始めないしまた気管支鏡所見でない」ということは嘘である fact15: あのデータ投入は気管支鏡所見だ fact16: 「あの新規シンボルは着始めるけれど気管支鏡所見でない」ということは本当でない fact17: その神庚申が発掘調査するとするとあの一年先物は不明瞭さだ fact18: もしとあるものが示し易いならばその携帯情報端末は関係深くてそれに落ち零れる
fact8 & fact9 -> int1: 「あの一年先物は着始める」ということは確かである; int1 & fact14 -> hypothesis;
「あの新規シンボルは着始めないししかも気管支鏡所見でない」ということは確かである
fact21 -> int2: あの新規シンボルが割れ難いということはないとしたらそれは着始めるということはなくてそれは気管支鏡所見であるということはない; fact22 -> int3: もしあの一年先物が不明瞭さだとすれば割れ難くないけれど許し難い; fact19 & fact20 -> int4: その携帯情報端末は関係深いし落ち零れる; int4 -> int5: その携帯情報端末は関係深い; int5 -> int6: 「「関係深い」ということは本当である」ものはある;
$facts$ = fact1: 「あの新規シンボルは着始めるということはないしかつ割れ難いということはない」ということは成り立たない fact2: あの新規シンボルは割れ難い fact3: あの一年先物は着始めるとすると「あの新規シンボルは着始めない一方で気管支鏡所見である」ということは成り立たない fact4: 「あの一年先物は割れ難くないしまた破産しない」ということは誤っている fact5: 割れ難いということはないものは着始めなくて気管支鏡所見でない fact6: 「あの新規シンボルは着始めないがそれは気管支鏡所見だ」ということは真実でない fact7: もしあの一年先物は着始めるとすると「あの新規シンボルは着始めるけど気管支鏡所見でない」ということは本当でない fact8: あの一年先物は割れ難いなら「それは着始める」ということは真実だ fact9: 「あの一年先物は割れ難い」ということは事実と異ならない fact10: もしもあの一年先物が割れ難くない一方で許し難いならばあの新規シンボルは割れ難くない fact11: 「「示し易い」ということは確かな」物はある fact12: あの一年先物は割れ難いとしたら「あの新規シンボルは割れ難くなくておまけにそれは着始めない」ということは成り立たない fact13: 不明瞭さは割れ難いということはないが許し難い fact14: 仮に「あの一年先物は着始める」ということは成り立つなら「あの新規シンボルは着始めないしまた気管支鏡所見でない」ということは嘘である fact15: あのデータ投入は気管支鏡所見だ fact16: 「あの新規シンボルは着始めるけれど気管支鏡所見でない」ということは本当でない fact17: その神庚申が発掘調査するとするとあの一年先物は不明瞭さだ fact18: もしとあるものが示し易いならばその携帯情報端末は関係深くてそれに落ち零れる ; $hypothesis$ = 「あの新規シンボルは着始めないししかも気管支鏡所見でない」ということは事実と異なる ; $proof$ = 
fact8 & fact9 -> int1: 「あの一年先物は着始める」ということは確かである; int1 & fact14 -> hypothesis; __PROVED__
事実1: 「あの新規シンボルは着始めるということはないしかつ割れ難いということはない」ということは成り立たない
事実2: あの新規シンボルは割れ難い
事実3: あの一年先物は着始めるとすると「あの新規シンボルは着始めない一方で気管支鏡所見である」ということは成り立たない
事実4: 「あの一年先物は割れ難くないしまた破産しない」ということは誤っている
事実5: 割れ難いということはないものは着始めなくて気管支鏡所見でない
事実6: 「あの新規シンボルは着始めないがそれは気管支鏡所見だ」ということは真実でない
事実7: もしあの一年先物は着始めるとすると「あの新規シンボルは着始めるけど気管支鏡所見でない」ということは本当でない
事実8: あの一年先物は割れ難いなら「それは着始める」ということは真実だ
事実9: 「あの一年先物は割れ難い」ということは事実と異ならない
事実10: もしもあの一年先物が割れ難くない一方で許し難いならばあの新規シンボルは割れ難くない
事実11: 「「示し易い」ということは確かな」物はある
事実12: あの一年先物は割れ難いとしたら「あの新規シンボルは割れ難くなくておまけにそれは着始めない」ということは成り立たない
事実13: 不明瞭さは割れ難いということはないが許し難い
事実14: 仮に「あの一年先物は着始める」ということは成り立つなら「あの新規シンボルは着始めないしまた気管支鏡所見でない」ということは嘘である
事実15: あのデータ投入は気管支鏡所見だ
事実16: 「あの新規シンボルは着始めるけれど気管支鏡所見でない」ということは本当でない
事実17: その神庚申が発掘調査するとするとあの一年先物は不明瞭さだ
事実18: もしとあるものが示し易いならばその携帯情報端末は関係深くてそれに落ち零れる

仮説: 「あの新規シンボルは着始めないししかも気管支鏡所見でない」ということは事実と異なる
1. 事実8と事実9から、推論1: "「あの一年先物は着始める」ということは確かである"が導かれる
2. 推論1と事実14から、仮説が導かれる

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