「もしも堪え難くないとしたら「跨がるが真新しくない」ということは成り立つということはない」ものはある
fact1: 何らかのものは由々しくないなら「それはラスティである一方で二十五日生まれでない」ということは事実と異なる fact2: 「勝利出来るとすると「ＨＵＥであるけど貯蔵しない」ということは間違いである」物はある fact3: 仮にこのバニラビーンズは跨がらないとすれば「それは洒落臭いけれど人材派遣でない」ということは正しくない fact4: 仮にあの売却元が堪え難くないとするとそれが跨がるしその上それは真新しくない fact5: 仮にあの売却元は堪え難くないならば「それは跨がるけど真新しいということはない」ということは誤っている fact6: 「「仮に学道であるとすれば「宅配するししかも乗り難いということはない」ということは成り立たない」物はある」ということは間違っていない fact7: もし仮にあの売却元は堪え難いとすれば「それは跨がるし更に真新しくない」ということは成り立つということはない fact8: 「もし堪え難くないならば「跨がるし真新しい」ということは間違いである」ものはある fact9: 「もしも堪え難くないとすると跨がるし真新しいということはない」物はある fact10: 「もし仮に這いずるなら「誤解され易いけど舞い下りない」ということは嘘な」ものはある fact11: 「もし発症し易くないなら「移り行くしその上対象労働者でない」ということは成り立たない」ものはある fact12: 「もし仮に門外不出であるとすると「レイプするし更に正しくない」ということは嘘である」物はある fact13: 仮にあの売却元は堪え難くないとしたら「跨がるしその上真新しい」ということは誤っている fact14: 何らかのものはギブでないならば「受け入れられ易いししかも日本車でない」ということは事実でない
fact5 -> hypothesis;
fact5 -> hypothesis;
仮にその戦死者は由々しくないなら「それはラスティだが二十五日生まれだということはない」ということは成り立たない
fact15 -> hypothesis;
$facts$ = fact1: 何らかのものは由々しくないなら「それはラスティである一方で二十五日生まれでない」ということは事実と異なる fact2: 「勝利出来るとすると「ＨＵＥであるけど貯蔵しない」ということは間違いである」物はある fact3: 仮にこのバニラビーンズは跨がらないとすれば「それは洒落臭いけれど人材派遣でない」ということは正しくない fact4: 仮にあの売却元が堪え難くないとするとそれが跨がるしその上それは真新しくない fact5: 仮にあの売却元は堪え難くないならば「それは跨がるけど真新しいということはない」ということは誤っている fact6: 「「仮に学道であるとすれば「宅配するししかも乗り難いということはない」ということは成り立たない」物はある」ということは間違っていない fact7: もし仮にあの売却元は堪え難いとすれば「それは跨がるし更に真新しくない」ということは成り立つということはない fact8: 「もし堪え難くないならば「跨がるし真新しい」ということは間違いである」ものはある fact9: 「もしも堪え難くないとすると跨がるし真新しいということはない」物はある fact10: 「もし仮に這いずるなら「誤解され易いけど舞い下りない」ということは嘘な」ものはある fact11: 「もし発症し易くないなら「移り行くしその上対象労働者でない」ということは成り立たない」ものはある fact12: 「もし仮に門外不出であるとすると「レイプするし更に正しくない」ということは嘘である」物はある fact13: 仮にあの売却元は堪え難くないとしたら「跨がるしその上真新しい」ということは誤っている fact14: 何らかのものはギブでないならば「受け入れられ易いししかも日本車でない」ということは事実でない ; $hypothesis$ = 「もしも堪え難くないとしたら「跨がるが真新しくない」ということは成り立つということはない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 何らかのものは由々しくないなら「それはラスティである一方で二十五日生まれでない」ということは事実と異なる
事実2: 「勝利出来るとすると「ＨＵＥであるけど貯蔵しない」ということは間違いである」物はある
事実3: 仮にこのバニラビーンズは跨がらないとすれば「それは洒落臭いけれど人材派遣でない」ということは正しくない
事実4: 仮にあの売却元が堪え難くないとするとそれが跨がるしその上それは真新しくない
事実5: 仮にあの売却元は堪え難くないならば「それは跨がるけど真新しいということはない」ということは誤っている
事実6: 「「仮に学道であるとすれば「宅配するししかも乗り難いということはない」ということは成り立たない」物はある」ということは間違っていない
事実7: もし仮にあの売却元は堪え難いとすれば「それは跨がるし更に真新しくない」ということは成り立つということはない
事実8: 「もし堪え難くないならば「跨がるし真新しい」ということは間違いである」ものはある
事実9: 「もしも堪え難くないとすると跨がるし真新しいということはない」物はある
事実10: 「もし仮に這いずるなら「誤解され易いけど舞い下りない」ということは嘘な」ものはある
事実11: 「もし発症し易くないなら「移り行くしその上対象労働者でない」ということは成り立たない」ものはある
事実12: 「もし仮に門外不出であるとすると「レイプするし更に正しくない」ということは嘘である」物はある
事実13: 仮にあの売却元は堪え難くないとしたら「跨がるしその上真新しい」ということは誤っている
事実14: 何らかのものはギブでないならば「受け入れられ易いししかも日本車でない」ということは事実でない

仮説: 「もしも堪え難くないとしたら「跨がるが真新しくない」ということは成り立つということはない」ものはある
1. 事実5から、仮説が導かれる

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