この活劇は発展し続ける
fact1: どれもこれもは一般理論である fact2: この活劇は設備等である fact3: もしもこの活劇が設備等だとすれば発展し続ける fact4: もしある物が設備等でないかまたはそれは如何致すかまたは両方ともだとすればそれは発展し続けない fact5: もしもあのモノコックボディーは描き始めるなら「それは定住する」ということは確かである
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
この活劇は発展し続けない
fact6 -> int1: もし仮にこの活劇が設備等であるということはないかあるいはそれは如何致すか両方だとするとそれは発展し続けない;
$facts$ = fact1: どれもこれもは一般理論である fact2: この活劇は設備等である fact3: もしもこの活劇が設備等だとすれば発展し続ける fact4: もしある物が設備等でないかまたはそれは如何致すかまたは両方ともだとすればそれは発展し続けない fact5: もしもあのモノコックボディーは描き始めるなら「それは定住する」ということは確かである ; $hypothesis$ = この活劇は発展し続ける ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: どれもこれもは一般理論である
事実2: この活劇は設備等である
事実3: もしもこの活劇が設備等だとすれば発展し続ける
事実4: もしある物が設備等でないかまたはそれは如何致すかまたは両方ともだとすればそれは発展し続けない
事実5: もしもあのモノコックボディーは描き始めるなら「それは定住する」ということは確かである

仮説: この活劇は発展し続ける
1. 事実3と事実2から、仮説が導かれる

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