「調理するとしたら焦がさない」ものはある
fact1: もしその検索サイトが焦がすとすればそれは薄れ行くということはない fact2: 「もし調理すれば「焦がす」ということは成り立つ」ものはある fact3: その検索サイトが煎じ詰めるなら手早くない fact4: その検索サイトが調理するとすればそれは焦がす fact5: もしもその検索サイトが調理するならそれは焦がさない fact6: その検索サイトが打っ倒れるとしたら調理しない
fact5 -> hypothesis;
$facts$ = fact1: もしその検索サイトが焦がすとすればそれは薄れ行くということはない fact2: 「もし調理すれば「焦がす」ということは成り立つ」ものはある fact3: その検索サイトが煎じ詰めるなら手早くない fact4: その検索サイトが調理するとすればそれは焦がす fact5: もしもその検索サイトが調理するならそれは焦がさない fact6: その検索サイトが打っ倒れるとしたら調理しない ; $hypothesis$ = 「調理するとしたら焦がさない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしその検索サイトが焦がすとすればそれは薄れ行くということはない
事実2: 「もし調理すれば「焦がす」ということは成り立つ」ものはある
事実3: その検索サイトが煎じ詰めるなら手早くない
事実4: その検索サイトが調理するとすればそれは焦がす
事実5: もしもその検索サイトが調理するならそれは焦がさない
事実6: その検索サイトが打っ倒れるとしたら調理しない

仮説: 「調理するとしたら焦がさない」ものはある
1. 事実5から、仮説が導かれる

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