その浅漬けはアプリコットである
fact1: この朝市は移動し易い fact2: もしある物はダンスするということはないなら「それは移動し易いしさらに集計関数である」ということは成り立たない fact3: 何かは移動し易いとしたらそれはアプリコットである fact4: この朝市は移動し易いとしたら「その浅漬けはアプリコットだ」ということは本当だ fact5: もしも奥床しいものが温くないとしたらダンスしない fact6: どれもこれもは奥床しい
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
あの武器屋はアプリコットだ
fact7 -> int1: もしもあの武器屋が移動し易いとすればそれはアプリコットである;
$facts$ = fact1: この朝市は移動し易い fact2: もしある物はダンスするということはないなら「それは移動し易いしさらに集計関数である」ということは成り立たない fact3: 何かは移動し易いとしたらそれはアプリコットである fact4: この朝市は移動し易いとしたら「その浅漬けはアプリコットだ」ということは本当だ fact5: もしも奥床しいものが温くないとしたらダンスしない fact6: どれもこれもは奥床しい ; $hypothesis$ = その浅漬けはアプリコットである ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: この朝市は移動し易い
事実2: もしある物はダンスするということはないなら「それは移動し易いしさらに集計関数である」ということは成り立たない
事実3: 何かは移動し易いとしたらそれはアプリコットである
事実4: この朝市は移動し易いとしたら「その浅漬けはアプリコットだ」ということは本当だ
事実5: もしも奥床しいものが温くないとしたらダンスしない
事実6: どれもこれもは奥床しい

仮説: その浅漬けはアプリコットである
1. 事実4と事実1から、仮説が導かれる

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