この月面は打ち明ける
fact1: 貧しないものは金色がかるがしかし擽ったくない fact2: この月面は上げ易くない一方で打ち明ける fact3: もしもなにがしかのものは金色がかるが擽ったくないならばそれは上げ易い fact4: 「この月面は上げ易くない」ということは事実だ
fact2 -> hypothesis;
fact2 -> hypothesis;
この月面は打ち明けない
fact6 -> int1: 仮にこの雪煙は金色がかる一方で擽ったくないとしたら上げ易い; fact5 -> int2: 仮にこの雪煙は貧しないとしたら「金色がかるがしかし擽ったくない」ということは本当だ;
$facts$ = fact1: 貧しないものは金色がかるがしかし擽ったくない fact2: この月面は上げ易くない一方で打ち明ける fact3: もしもなにがしかのものは金色がかるが擽ったくないならばそれは上げ易い fact4: 「この月面は上げ易くない」ということは事実だ ; $hypothesis$ = この月面は打ち明ける ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 貧しないものは金色がかるがしかし擽ったくない
事実2: この月面は上げ易くない一方で打ち明ける
事実3: もしもなにがしかのものは金色がかるが擽ったくないならばそれは上げ易い
事実4: 「この月面は上げ易くない」ということは事実だ

仮説: この月面は打ち明ける
1. 事実2から、仮説が導かれる

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