あのスタートメニューは葉書でない
fact1: もしあのスタートメニューは淀み無いものであって堀でないとしたらそれは葉書であるということはない fact2: もしも「眺望するしそれに口さがない」ものがあるとすればあのスタートメニューはガラクトース残基だ fact3: ある物は眺望するしまた口さがない fact4: あのスタートメニューはガラクトース残基であるならばそれは淀み無いけど堀でない
fact3 & fact2 -> int1: あのスタートメニューはガラクトース残基である; int1 & fact4 -> int2: あのスタートメニューは淀み無い一方で堀でない; int2 & fact1 -> hypothesis;
$facts$ = fact1: もしあのスタートメニューは淀み無いものであって堀でないとしたらそれは葉書であるということはない fact2: もしも「眺望するしそれに口さがない」ものがあるとすればあのスタートメニューはガラクトース残基だ fact3: ある物は眺望するしまた口さがない fact4: あのスタートメニューはガラクトース残基であるならばそれは淀み無いけど堀でない ; $hypothesis$ = あのスタートメニューは葉書でない ; $proof$ = 
fact3 & fact2 -> int1: あのスタートメニューはガラクトース残基である; int1 & fact4 -> int2: あのスタートメニューは淀み無い一方で堀でない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしあのスタートメニューは淀み無いものであって堀でないとしたらそれは葉書であるということはない
事実2: もしも「眺望するしそれに口さがない」ものがあるとすればあのスタートメニューはガラクトース残基だ
事実3: ある物は眺望するしまた口さがない
事実4: あのスタートメニューはガラクトース残基であるならばそれは淀み無いけど堀でない

仮説: あのスタートメニューは葉書でない
1. 事実3と事実2から、推論1: "あのスタートメニューはガラクトース残基である"が導かれる
2. 推論1と事実4から、推論2: "あのスタートメニューは淀み無い一方で堀でない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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