あの結晶構造は倒閣運動であるか広いか両方だ
fact1: なんらかのものは立ち掛けないとすると「倒閣運動であるか広いかあるいは両方ともだ」ということは誤りである fact2: あの結晶構造は広い fact3: その部族内反対派は広い
fact2 -> hypothesis;
fact2 -> hypothesis;
「あの結晶構造は倒閣運動であるかまたは広いかもしくはどちらもである」ということは誤りだ
fact4 -> int1: もしもあの結晶構造は立ち掛けないなら「倒閣運動であるかまたはそれは広い」ということは成り立たない;
$facts$ = fact1: なんらかのものは立ち掛けないとすると「倒閣運動であるか広いかあるいは両方ともだ」ということは誤りである fact2: あの結晶構造は広い fact3: その部族内反対派は広い ; $hypothesis$ = あの結晶構造は倒閣運動であるか広いか両方だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: なんらかのものは立ち掛けないとすると「倒閣運動であるか広いかあるいは両方ともだ」ということは誤りである
事実2: あの結晶構造は広い
事実3: その部族内反対派は広い

仮説: あの結晶構造は倒閣運動であるか広いか両方だ
1. 事実2から、仮説が導かれる

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