「この食養生は春らしい」ということは成り立つ
fact1: あの純水は春らしい fact2: 仮にあの二千年前後が涼しかないとしたらその護送船団は涼しい fact3: 仮に「ある物が慌ただしいしその上それは待機する」ということは成り立つということはないなら慌ただしくない fact4: そのソナー員は慌ただしい fact5: この食養生は幼し fact6: この各係は春らしい fact7: もしも何らかのものは春らしくないとすると「慌ただしくてかつ待機する」ということは間違いだ fact8: この食養生は春らしいししかもそれは慌ただしい fact9: もし仮に「この食養生は慌ただしくない」ということは偽でないとしたらその護送船団は慌ただしい fact10: もしあの二千年前後が春らしくないかもしくはそれが待機しないかあるいは両方ともであるとするとこの食養生は春らしいということはない fact11: この食養生は変動有りで総領だ fact12: それは春らしいしおまけに聖書自身であるというものはない fact13: この食養生が参照先だしかつそれはすばしこい fact14: この食養生は御偉いしまた犬畜生である
fact8 -> hypothesis;
fact8 -> hypothesis;
この食養生は春らしくない
$facts$ = fact1: あの純水は春らしい fact2: 仮にあの二千年前後が涼しかないとしたらその護送船団は涼しい fact3: 仮に「ある物が慌ただしいしその上それは待機する」ということは成り立つということはないなら慌ただしくない fact4: そのソナー員は慌ただしい fact5: この食養生は幼し fact6: この各係は春らしい fact7: もしも何らかのものは春らしくないとすると「慌ただしくてかつ待機する」ということは間違いだ fact8: この食養生は春らしいししかもそれは慌ただしい fact9: もし仮に「この食養生は慌ただしくない」ということは偽でないとしたらその護送船団は慌ただしい fact10: もしあの二千年前後が春らしくないかもしくはそれが待機しないかあるいは両方ともであるとするとこの食養生は春らしいということはない fact11: この食養生は変動有りで総領だ fact12: それは春らしいしおまけに聖書自身であるというものはない fact13: この食養生が参照先だしかつそれはすばしこい fact14: この食養生は御偉いしまた犬畜生である ; $hypothesis$ = 「この食養生は春らしい」ということは成り立つ ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: あの純水は春らしい
事実2: 仮にあの二千年前後が涼しかないとしたらその護送船団は涼しい
事実3: 仮に「ある物が慌ただしいしその上それは待機する」ということは成り立つということはないなら慌ただしくない
事実4: そのソナー員は慌ただしい
事実5: この食養生は幼し
事実6: この各係は春らしい
事実7: もしも何らかのものは春らしくないとすると「慌ただしくてかつ待機する」ということは間違いだ
事実8: この食養生は春らしいししかもそれは慌ただしい
事実9: もし仮に「この食養生は慌ただしくない」ということは偽でないとしたらその護送船団は慌ただしい
事実10: もしあの二千年前後が春らしくないかもしくはそれが待機しないかあるいは両方ともであるとするとこの食養生は春らしいということはない
事実11: この食養生は変動有りで総領だ
事実12: それは春らしいしおまけに聖書自身であるというものはない
事実13: この食養生が参照先だしかつそれはすばしこい
事実14: この食養生は御偉いしまた犬畜生である

仮説: 「この食養生は春らしい」ということは成り立つ
1. 事実8から、仮説が導かれる

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