「仮に「ブランドらしくないし更に分かり易くない」ということは成り立つということはないならば飛行機らしいということはない」物はある
fact1: 「分かり易いならば飛行機らしくない」物はある fact2: 「仮に「ブランドらしくないけれど分かり易い」ということは間違いであるなら飛行機らしいということはない」ものはある fact3: もしも「あの実親はブランドらしくないしかつ分かり易いということはない」ということは確かでないならば「飛行機らしくない」ということは正しい fact4: 仮に「「あるものは熱苦しいということはないし加えてそれは授業しない」ということは事実だ」ということは嘘だとすれば緩くない fact5: 「もしもあの実親がブランドらしくないしそれにそれが分かり易くないとするとあの実親は飛行機らしくない」ということは成り立つ fact6: 「もし仮に「基本動作でない一方で飲み尽くす」ということは本当であるということはないとしたら訝らない」ものはある fact7: 「もし仮に「ラストオーダーでないけれど抗し難い」ということは間違っているとしたらインディーズでない」物はある fact8: 「荒らげなくて掻い潜らないなら組み替えるということはない」ものはある fact9: 「あの実親はブランドらしいけれどそれは分かり易くない」ということは誤っているならそれは飛行機らしくない fact10: 「もしも「創造出来る」ということは本当ならば行番号でない」ものはある
fact3 -> hypothesis;
fact3 -> hypothesis;
「「熱苦しいということはないしさらに授業しない」ということは成り立たないとすると緩くない」物はある
fact11 -> int1: もし仮に「この抗痙攣剤は熱苦しくないししかも授業しない」ということは成り立たないとすればそれは緩いということはない; int1 -> hypothesis;
$facts$ = fact1: 「分かり易いならば飛行機らしくない」物はある fact2: 「仮に「ブランドらしくないけれど分かり易い」ということは間違いであるなら飛行機らしいということはない」ものはある fact3: もしも「あの実親はブランドらしくないしかつ分かり易いということはない」ということは確かでないならば「飛行機らしくない」ということは正しい fact4: 仮に「「あるものは熱苦しいということはないし加えてそれは授業しない」ということは事実だ」ということは嘘だとすれば緩くない fact5: 「もしもあの実親がブランドらしくないしそれにそれが分かり易くないとするとあの実親は飛行機らしくない」ということは成り立つ fact6: 「もし仮に「基本動作でない一方で飲み尽くす」ということは本当であるということはないとしたら訝らない」ものはある fact7: 「もし仮に「ラストオーダーでないけれど抗し難い」ということは間違っているとしたらインディーズでない」物はある fact8: 「荒らげなくて掻い潜らないなら組み替えるということはない」ものはある fact9: 「あの実親はブランドらしいけれどそれは分かり易くない」ということは誤っているならそれは飛行機らしくない fact10: 「もしも「創造出来る」ということは本当ならば行番号でない」ものはある ; $hypothesis$ = 「仮に「ブランドらしくないし更に分かり易くない」ということは成り立つということはないならば飛行機らしいということはない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「分かり易いならば飛行機らしくない」物はある
事実2: 「仮に「ブランドらしくないけれど分かり易い」ということは間違いであるなら飛行機らしいということはない」ものはある
事実3: もしも「あの実親はブランドらしくないしかつ分かり易いということはない」ということは確かでないならば「飛行機らしくない」ということは正しい
事実4: 仮に「「あるものは熱苦しいということはないし加えてそれは授業しない」ということは事実だ」ということは嘘だとすれば緩くない
事実5: 「もしもあの実親がブランドらしくないしそれにそれが分かり易くないとするとあの実親は飛行機らしくない」ということは成り立つ
事実6: 「もし仮に「基本動作でない一方で飲み尽くす」ということは本当であるということはないとしたら訝らない」ものはある
事実7: 「もし仮に「ラストオーダーでないけれど抗し難い」ということは間違っているとしたらインディーズでない」物はある
事実8: 「荒らげなくて掻い潜らないなら組み替えるということはない」ものはある
事実9: 「あの実親はブランドらしいけれどそれは分かり易くない」ということは誤っているならそれは飛行機らしくない
事実10: 「もしも「創造出来る」ということは本当ならば行番号でない」ものはある

仮説: 「仮に「ブランドらしくないし更に分かり易くない」ということは成り立つということはないならば飛行機らしいということはない」物はある
1. 事実3から、仮説が導かれる

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