あの天文観測は道場生でない
fact1: 仮にあの天文観測が啜り込まないならそれは道場生でない fact2: 「あの天文観測は仄々しないけれど啜り込む」ということは間違いだとすればそれは道場生でない fact3: 仮に何かは保護すれば道場生でなくて恨みがましかない fact4: 「あの天文観測は仄々しないがしかしそれは啜り込む」ということは間違っている fact5: そのグループＡレースは道場生でない fact6: もし仮にあの天文観測が恨みがましいならそれは道場生だ fact7: もしも結び付き難い物が凄まじくないとすればそれは保護す
fact2 & fact4 -> hypothesis;
あの天文観測は道場生である
$facts$ = fact1: 仮にあの天文観測が啜り込まないならそれは道場生でない fact2: 「あの天文観測は仄々しないけれど啜り込む」ということは間違いだとすればそれは道場生でない fact3: 仮に何かは保護すれば道場生でなくて恨みがましかない fact4: 「あの天文観測は仄々しないがしかしそれは啜り込む」ということは間違っている fact5: そのグループＡレースは道場生でない fact6: もし仮にあの天文観測が恨みがましいならそれは道場生だ fact7: もしも結び付き難い物が凄まじくないとすればそれは保護す ; $hypothesis$ = あの天文観測は道場生でない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: 仮にあの天文観測が啜り込まないならそれは道場生でない
事実2: 「あの天文観測は仄々しないけれど啜り込む」ということは間違いだとすればそれは道場生でない
事実3: 仮に何かは保護すれば道場生でなくて恨みがましかない
事実4: 「あの天文観測は仄々しないがしかしそれは啜り込む」ということは間違っている
事実5: そのグループＡレースは道場生でない
事実6: もし仮にあの天文観測が恨みがましいならそれは道場生だ
事実7: もしも結び付き難い物が凄まじくないとすればそれは保護す

仮説: あの天文観測は道場生でない
1. 事実2と事実4から、仮説が導かれる

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