「もし仮に小賢しくて齎し易くないとすれば計上しない」ものはある
fact1: 「もし仮にスイッチするしおまけに擬装しないならば後ろ暗い」ものはある fact2: 「もしも小賢しくてまた齎し易いとすれば計上しない」ものはある fact3: 仮にあの他球団は小賢しいがしかし齎し易くないとするとそれは計上しない fact4: 「小賢しいしそれに齎し易くないとしたら計上する」物はある fact5: もしこのマンハッタン計画がチキンブイヨンだけれど齎し易いということはないならそれはぶらつくということはない fact6: もし小賢しいものはグループ各社であるということはないとすればそれは殴り続けない
fact3 -> hypothesis;
もし仮に「この軍事革命は小賢しいけどグループ各社だということはない」ということは本当ならば「殴り続けない」ということは確かである
fact7 -> hypothesis;
$facts$ = fact1: 「もし仮にスイッチするしおまけに擬装しないならば後ろ暗い」ものはある fact2: 「もしも小賢しくてまた齎し易いとすれば計上しない」ものはある fact3: 仮にあの他球団は小賢しいがしかし齎し易くないとするとそれは計上しない fact4: 「小賢しいしそれに齎し易くないとしたら計上する」物はある fact5: もしこのマンハッタン計画がチキンブイヨンだけれど齎し易いということはないならそれはぶらつくということはない fact6: もし小賢しいものはグループ各社であるということはないとすればそれは殴り続けない ; $hypothesis$ = 「もし仮に小賢しくて齎し易くないとすれば計上しない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし仮にスイッチするしおまけに擬装しないならば後ろ暗い」ものはある
事実2: 「もしも小賢しくてまた齎し易いとすれば計上しない」ものはある
事実3: 仮にあの他球団は小賢しいがしかし齎し易くないとするとそれは計上しない
事実4: 「小賢しいしそれに齎し易くないとしたら計上する」物はある
事実5: もしこのマンハッタン計画がチキンブイヨンだけれど齎し易いということはないならそれはぶらつくということはない
事実6: もし小賢しいものはグループ各社であるということはないとすればそれは殴り続けない

仮説: 「もし仮に小賢しくて齎し易くないとすれば計上しない」ものはある
1. 事実3から、仮説が導かれる

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