この嘗め方は甘受する
fact1: もし仮にあの褐がフロントマスクでないとするとこの嘗め方は甘受しない fact2: あの褐は甘受する fact3: 「この嘗め方は侵入し易い」ということは真実だ fact4: 仮にあの褐がフロントマスクならばこの嘗め方は甘受する fact5: もし仮に「「あの褐は人工血管である一方で握り易くない」ということは偽だ」ということは誤りでないとしたらそれはフロントマスクでない fact6: あの褐はフロントマスクである
fact4 & fact6 -> hypothesis;
fact4 & fact6 -> hypothesis;
この嘗め方は甘受しない
$facts$ = fact1: もし仮にあの褐がフロントマスクでないとするとこの嘗め方は甘受しない fact2: あの褐は甘受する fact3: 「この嘗め方は侵入し易い」ということは真実だ fact4: 仮にあの褐がフロントマスクならばこの嘗め方は甘受する fact5: もし仮に「「あの褐は人工血管である一方で握り易くない」ということは偽だ」ということは誤りでないとしたらそれはフロントマスクでない fact6: あの褐はフロントマスクである ; $hypothesis$ = この嘗め方は甘受する ; $proof$ = 
fact4 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にあの褐がフロントマスクでないとするとこの嘗め方は甘受しない
事実2: あの褐は甘受する
事実3: 「この嘗め方は侵入し易い」ということは真実だ
事実4: 仮にあの褐がフロントマスクならばこの嘗め方は甘受する
事実5: もし仮に「「あの褐は人工血管である一方で握り易くない」ということは偽だ」ということは誤りでないとしたらそれはフロントマスクでない
事実6: あの褐はフロントマスクである

仮説: この嘗め方は甘受する
1. 事実4と事実6から、仮説が導かれる

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