「仮に頼もしいということはないとしたら「礼儀正しいということはないしその上嘆かわしくない」ということは嘘である」ものはある
fact1: 仮にその抗ヒスタミン剤は頼もしくないとしたら「それは礼儀正しいけれど嘆かわしくない」ということは嘘だ fact2: あるものは乾液でないなら「それは販売業であるということはないしおまけに頼もしくない」ということは間違いだ fact3: 「もし頼もしくないなら礼儀正しくないしさらに嘆かわしくない」ものはある fact4: もしもその抗ヒスタミン剤が頼もしくないならばそれは礼儀正しくなくてそれは嘆かわしくない fact5: 「もし頼もしくないとすると「礼儀正しくないが嘆かわしい」ということは偽な」ものはある fact6: 「黒っぽくないとすれば「攻撃出来ないけど風呂敷である」ということは成り立たない」ものはある fact7: 「その抗ヒスタミン剤は頼もしくない」ということは成り立つとしたら「それは礼儀正しくなくて更に嘆かわしくない」ということは成り立たない fact8: もし仮にあるものは禁煙しないなら「急転回するということはないしかつ撫で上げるということはない」ということは嘘である fact9: 「斜めでないとすれば「黒っぽくないけれど有り付く」ということは嘘である」物はある fact10: 「「もし頼もしくないとすると「礼儀正しいがしかし嘆かわしくない」ということは成り立たない」ものはある」ということは確かである fact11: 仮にその抗ヒスタミン剤は礼儀正しくないとすると「悩ましくない一方で最後である」ということは偽だ fact12: 何かは特許出願するということはないとすると「それは血腥くないししかもされ易くない」ということは誤っている fact13: もしもその抗ヒスタミン剤は頼もしいということはないとすれば「それは礼儀正しくなくてしかも嘆かわしい」ということは成り立たない fact14: もし仮にその抗ヒスタミン剤は頼もしいとすると「礼儀正しくなくて更にそれは嘆かわしくない」ということは事実でない fact15: もし仮に「その抗ヒスタミン剤は自失するということはない」ということは本当であるとすれば「それは白しないけど折れ易い」ということは間違っている fact16: 「もしも頼もしいなら「「礼儀正しくないしさらに嘆かわしくない」ということは間違いでない」ということは成り立たない」ものはある
fact7 -> hypothesis;
「「仮に特許出願するということはないなら「血腥くないしされ易いない」ということは確かでない」物はある」ということは本当である
fact17 -> int1: あの十七αは特許出願しないとすると「血腥くなくてその上それはされ易くない」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: 仮にその抗ヒスタミン剤は頼もしくないとしたら「それは礼儀正しいけれど嘆かわしくない」ということは嘘だ fact2: あるものは乾液でないなら「それは販売業であるということはないしおまけに頼もしくない」ということは間違いだ fact3: 「もし頼もしくないなら礼儀正しくないしさらに嘆かわしくない」ものはある fact4: もしもその抗ヒスタミン剤が頼もしくないならばそれは礼儀正しくなくてそれは嘆かわしくない fact5: 「もし頼もしくないとすると「礼儀正しくないが嘆かわしい」ということは偽な」ものはある fact6: 「黒っぽくないとすれば「攻撃出来ないけど風呂敷である」ということは成り立たない」ものはある fact7: 「その抗ヒスタミン剤は頼もしくない」ということは成り立つとしたら「それは礼儀正しくなくて更に嘆かわしくない」ということは成り立たない fact8: もし仮にあるものは禁煙しないなら「急転回するということはないしかつ撫で上げるということはない」ということは嘘である fact9: 「斜めでないとすれば「黒っぽくないけれど有り付く」ということは嘘である」物はある fact10: 「「もし頼もしくないとすると「礼儀正しいがしかし嘆かわしくない」ということは成り立たない」ものはある」ということは確かである fact11: 仮にその抗ヒスタミン剤は礼儀正しくないとすると「悩ましくない一方で最後である」ということは偽だ fact12: 何かは特許出願するということはないとすると「それは血腥くないししかもされ易くない」ということは誤っている fact13: もしもその抗ヒスタミン剤は頼もしいということはないとすれば「それは礼儀正しくなくてしかも嘆かわしい」ということは成り立たない fact14: もし仮にその抗ヒスタミン剤は頼もしいとすると「礼儀正しくなくて更にそれは嘆かわしくない」ということは事実でない fact15: もし仮に「その抗ヒスタミン剤は自失するということはない」ということは本当であるとすれば「それは白しないけど折れ易い」ということは間違っている fact16: 「もしも頼もしいなら「「礼儀正しくないしさらに嘆かわしくない」ということは間違いでない」ということは成り立たない」ものはある ; $hypothesis$ = 「仮に頼もしいということはないとしたら「礼儀正しいということはないしその上嘆かわしくない」ということは嘘である」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 仮にその抗ヒスタミン剤は頼もしくないとしたら「それは礼儀正しいけれど嘆かわしくない」ということは嘘だ
事実2: あるものは乾液でないなら「それは販売業であるということはないしおまけに頼もしくない」ということは間違いだ
事実3: 「もし頼もしくないなら礼儀正しくないしさらに嘆かわしくない」ものはある
事実4: もしもその抗ヒスタミン剤が頼もしくないならばそれは礼儀正しくなくてそれは嘆かわしくない
事実5: 「もし頼もしくないとすると「礼儀正しくないが嘆かわしい」ということは偽な」ものはある
事実6: 「黒っぽくないとすれば「攻撃出来ないけど風呂敷である」ということは成り立たない」ものはある
事実7: 「その抗ヒスタミン剤は頼もしくない」ということは成り立つとしたら「それは礼儀正しくなくて更に嘆かわしくない」ということは成り立たない
事実8: もし仮にあるものは禁煙しないなら「急転回するということはないしかつ撫で上げるということはない」ということは嘘である
事実9: 「斜めでないとすれば「黒っぽくないけれど有り付く」ということは嘘である」物はある
事実10: 「「もし頼もしくないとすると「礼儀正しいがしかし嘆かわしくない」ということは成り立たない」ものはある」ということは確かである
事実11: 仮にその抗ヒスタミン剤は礼儀正しくないとすると「悩ましくない一方で最後である」ということは偽だ
事実12: 何かは特許出願するということはないとすると「それは血腥くないししかもされ易くない」ということは誤っている
事実13: もしもその抗ヒスタミン剤は頼もしいということはないとすれば「それは礼儀正しくなくてしかも嘆かわしい」ということは成り立たない
事実14: もし仮にその抗ヒスタミン剤は頼もしいとすると「礼儀正しくなくて更にそれは嘆かわしくない」ということは事実でない
事実15: もし仮に「その抗ヒスタミン剤は自失するということはない」ということは本当であるとすれば「それは白しないけど折れ易い」ということは間違っている
事実16: 「もしも頼もしいなら「「礼儀正しくないしさらに嘆かわしくない」ということは間違いでない」ということは成り立たない」ものはある

仮説: 「仮に頼もしいということはないとしたら「礼儀正しいということはないしその上嘆かわしくない」ということは嘘である」ものはある
1. 事実7から、仮説が導かれる

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