そのコラーゲンはうら若し
fact1: もしもある物が美味しいならうら若し fact2: もし「とある物は陥る」ということは真実であるならば「それはうら若しない」ということは成り立つということはない fact3: そのコラーゲンはＡ‐Ｄ変換値でない fact4: もし「なにかは浮き桟橋であるがそれは走り続けない」ということは事実でないならば美味しい fact5: 苦い物は美味しい fact6: そのコラーゲンは苦いがしかしＡ‐Ｄ変換値だということはない
fact6 -> int1: 「そのコラーゲンは苦い」ということは真実である; fact5 -> int2: もし仮にそのコラーゲンは苦いとすれば「美味しい」ということは真実である; int1 & int2 -> int3: そのコラーゲンは美味しい; fact1 -> int4: 仮に「そのコラーゲンは美味しい」ということは確かであるならそれはうら若し; int3 & int4 -> hypothesis;
そのコラーゲンはうら若しということはない
fact7 -> int5: 「この変風帯は浮き桟橋だけれどそれは走り続けない」ということは嘘だとしたらそれは美味しい;
$facts$ = fact1: もしもある物が美味しいならうら若し fact2: もし「とある物は陥る」ということは真実であるならば「それはうら若しない」ということは成り立つということはない fact3: そのコラーゲンはＡ‐Ｄ変換値でない fact4: もし「なにかは浮き桟橋であるがそれは走り続けない」ということは事実でないならば美味しい fact5: 苦い物は美味しい fact6: そのコラーゲンは苦いがしかしＡ‐Ｄ変換値だということはない ; $hypothesis$ = そのコラーゲンはうら若し ; $proof$ = 
fact6 -> int1: 「そのコラーゲンは苦い」ということは真実である; fact5 -> int2: もし仮にそのコラーゲンは苦いとすれば「美味しい」ということは真実である; int1 & int2 -> int3: そのコラーゲンは美味しい; fact1 -> int4: 仮に「そのコラーゲンは美味しい」ということは確かであるならそれはうら若し; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもある物が美味しいならうら若し
事実2: もし「とある物は陥る」ということは真実であるならば「それはうら若しない」ということは成り立つということはない
事実3: そのコラーゲンはＡ‐Ｄ変換値でない
事実4: もし「なにかは浮き桟橋であるがそれは走り続けない」ということは事実でないならば美味しい
事実5: 苦い物は美味しい
事実6: そのコラーゲンは苦いがしかしＡ‐Ｄ変換値だということはない

仮説: そのコラーゲンはうら若し
1. 事実6から、推論1: "「そのコラーゲンは苦い」ということは真実である"が導かれる
2. 事実5から、推論2: "もし仮にそのコラーゲンは苦いとすれば「美味しい」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "そのコラーゲンは美味しい"が導かれる
4. 事実1から、推論4: "仮に「そのコラーゲンは美味しい」ということは確かであるならそれはうら若し"が導かれる
5. 推論3と推論4から、仮説が導かれる

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