あの願い通りはブラクラである
fact1: Ｒ国は疲労し切る fact2: この食品加工はブラクラだ fact3: あの願い通りはブラクラだ fact4: 「あの願い通りは操作し易い」ということは確かである fact5: その民族精神医学はブラクラである fact6: もし仮に何かは悪くないか脅かすかどちらもならそれはＲ国である fact7: もし仮になんらかの物は疲労し切るとすれば「それはブラクラでない」ということは真実だ
fact3 -> hypothesis;
fact3 -> hypothesis;
あの願い通りはブラクラでない
fact8 -> int1: もしもあの願い通りが疲労し切るとしたらそれはブラクラでない; fact10 -> int2: もしあの願い通りがＲ国だとすれば疲労し切る; fact9 -> int3: もし仮にあの願い通りが悪くないかまたはそれは脅かすかもしくは両方だとしたらＲ国だ;
$facts$ = fact1: Ｒ国は疲労し切る fact2: この食品加工はブラクラだ fact3: あの願い通りはブラクラだ fact4: 「あの願い通りは操作し易い」ということは確かである fact5: その民族精神医学はブラクラである fact6: もし仮に何かは悪くないか脅かすかどちらもならそれはＲ国である fact7: もし仮になんらかの物は疲労し切るとすれば「それはブラクラでない」ということは真実だ ; $hypothesis$ = あの願い通りはブラクラである ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: Ｒ国は疲労し切る
事実2: この食品加工はブラクラだ
事実3: あの願い通りはブラクラだ
事実4: 「あの願い通りは操作し易い」ということは確かである
事実5: その民族精神医学はブラクラである
事実6: もし仮に何かは悪くないか脅かすかどちらもならそれはＲ国である
事実7: もし仮になんらかの物は疲労し切るとすれば「それはブラクラでない」ということは真実だ

仮説: あの願い通りはブラクラである
1. 事実3から、仮説が導かれる

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