「「荒々しくなくてとろ臭くない」ということは成り立つということはないとしたら気高し」物はある
fact1: 「もしとろ臭いとしたら気高し」物はある fact2: この最終保険料率は荒々しくなくてとろ臭くないとしたらそれは気高し fact3: 「もし仮に鼎立するとすれば四十年後である」ものはある fact4: 「もしも「荒々しいけれどとろ臭くない」ということは誤っているとしたら気高し」物はある fact5: 仮に「なんらかの物は天狗らしくないし加えて訳無いということはない」ということは成り立たないならばそれは似付かわしい fact6: もしも「この最終保険料率はサブトラクション像でなくておまけにうつ伏さない」ということは事実でないとすればそれはとろ臭い fact7: もしも「この最終保険料率は荒々しいけれどとろ臭いということはない」ということは成り立たないならばそれは気高し fact8: もし「この最終保険料率は気高しということはなくて加えて物悲しくない」ということは誤っているとすればそれは無い fact9: 「もし仮に「反交通であるということはないしその上築賓であるということはない」ということは正しくないとすると鼎立する」物はある fact10: 「もし仮に「荒々しい」ということは真実だとすると気高し」物はある fact11: もしも「この最終保険料率は期待し難くないしおまけに荒々しくない」ということは嘘であるならそれは礼儀正しい fact12: 「もし「荒々しくないけどとろ臭い」ということは事実と異なるとしたら気高し」ものはある fact13: 仮に「この最終保険料率は荒々しくないしさらにとろ臭くない」ということは成り立つということはないとするとそれは気高し fact14: もしも「ある物はＥ・トレード証券だということはないししかも冬服だということはない」ということは間違いだとしたらリスト化する fact15: もしもこの最終保険料率がとろ臭いとすれば気高し fact16: 「仮に「忙しくなくてかつ重苦しいということはない」ということは誤っているとしたら適す」物はある fact17: 「荒々しくないししかもとろ臭いということはないとしたら気高し」ものはある fact18: 仮に「なにがしかのものは見守り続けなくてその上紐でない」ということは嘘であるとすればそれは気高し
fact13 -> hypothesis;
fact13 -> hypothesis;
もし「この最終保険料率は見守り続けるということはないしそれに紐でない」ということは誤りだとすればそれは気高し
fact19 -> hypothesis;
$facts$ = fact1: 「もしとろ臭いとしたら気高し」物はある fact2: この最終保険料率は荒々しくなくてとろ臭くないとしたらそれは気高し fact3: 「もし仮に鼎立するとすれば四十年後である」ものはある fact4: 「もしも「荒々しいけれどとろ臭くない」ということは誤っているとしたら気高し」物はある fact5: 仮に「なんらかの物は天狗らしくないし加えて訳無いということはない」ということは成り立たないならばそれは似付かわしい fact6: もしも「この最終保険料率はサブトラクション像でなくておまけにうつ伏さない」ということは事実でないとすればそれはとろ臭い fact7: もしも「この最終保険料率は荒々しいけれどとろ臭いということはない」ということは成り立たないならばそれは気高し fact8: もし「この最終保険料率は気高しということはなくて加えて物悲しくない」ということは誤っているとすればそれは無い fact9: 「もし仮に「反交通であるということはないしその上築賓であるということはない」ということは正しくないとすると鼎立する」物はある fact10: 「もし仮に「荒々しい」ということは真実だとすると気高し」物はある fact11: もしも「この最終保険料率は期待し難くないしおまけに荒々しくない」ということは嘘であるならそれは礼儀正しい fact12: 「もし「荒々しくないけどとろ臭い」ということは事実と異なるとしたら気高し」ものはある fact13: 仮に「この最終保険料率は荒々しくないしさらにとろ臭くない」ということは成り立つということはないとするとそれは気高し fact14: もしも「ある物はＥ・トレード証券だということはないししかも冬服だということはない」ということは間違いだとしたらリスト化する fact15: もしもこの最終保険料率がとろ臭いとすれば気高し fact16: 「仮に「忙しくなくてかつ重苦しいということはない」ということは誤っているとしたら適す」物はある fact17: 「荒々しくないししかもとろ臭いということはないとしたら気高し」ものはある fact18: 仮に「なにがしかのものは見守り続けなくてその上紐でない」ということは嘘であるとすればそれは気高し ; $hypothesis$ = 「「荒々しくなくてとろ臭くない」ということは成り立つということはないとしたら気高し」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 「もしとろ臭いとしたら気高し」物はある
事実2: この最終保険料率は荒々しくなくてとろ臭くないとしたらそれは気高し
事実3: 「もし仮に鼎立するとすれば四十年後である」ものはある
事実4: 「もしも「荒々しいけれどとろ臭くない」ということは誤っているとしたら気高し」物はある
事実5: 仮に「なんらかの物は天狗らしくないし加えて訳無いということはない」ということは成り立たないならばそれは似付かわしい
事実6: もしも「この最終保険料率はサブトラクション像でなくておまけにうつ伏さない」ということは事実でないとすればそれはとろ臭い
事実7: もしも「この最終保険料率は荒々しいけれどとろ臭いということはない」ということは成り立たないならばそれは気高し
事実8: もし「この最終保険料率は気高しということはなくて加えて物悲しくない」ということは誤っているとすればそれは無い
事実9: 「もし仮に「反交通であるということはないしその上築賓であるということはない」ということは正しくないとすると鼎立する」物はある
事実10: 「もし仮に「荒々しい」ということは真実だとすると気高し」物はある
事実11: もしも「この最終保険料率は期待し難くないしおまけに荒々しくない」ということは嘘であるならそれは礼儀正しい
事実12: 「もし「荒々しくないけどとろ臭い」ということは事実と異なるとしたら気高し」ものはある
事実13: 仮に「この最終保険料率は荒々しくないしさらにとろ臭くない」ということは成り立つということはないとするとそれは気高し
事実14: もしも「ある物はＥ・トレード証券だということはないししかも冬服だということはない」ということは間違いだとしたらリスト化する
事実15: もしもこの最終保険料率がとろ臭いとすれば気高し
事実16: 「仮に「忙しくなくてかつ重苦しいということはない」ということは誤っているとしたら適す」物はある
事実17: 「荒々しくないししかもとろ臭いということはないとしたら気高し」ものはある
事実18: 仮に「なにがしかのものは見守り続けなくてその上紐でない」ということは嘘であるとすればそれは気高し

仮説: 「「荒々しくなくてとろ臭くない」ということは成り立つということはないとしたら気高し」物はある
1. 事実13から、仮説が導かれる

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