その細経は投資促進税制である
fact1: その先端技術商品が工学技術でないかあるいは青白くないかどちらもならばこの旗差し物は工学技術でない fact2: もし仮になんらかのものが第一試案でないとすればそれは投資促進税制でないしそれに鈍い fact3: その細経は鈍くてかつ投資促進税制である fact4: その細経は鈍い fact5: もしも「なんらかの物は工学技術であるということはない」ということは事実であるとすればとろくないかまたは第一試案でないか両方ともだ
fact3 -> hypothesis;
fact3 -> hypothesis;
その細経は投資促進税制でない
fact6 -> int1: その細経が第一試案でないとするとそれは投資促進税制でないし加えてそれは鈍い; fact7 -> int2: 仮にこの旗差し物は工学技術であるということはないなら「とろくないかそれは第一試案でない」ということは成り立つ;
$facts$ = fact1: その先端技術商品が工学技術でないかあるいは青白くないかどちらもならばこの旗差し物は工学技術でない fact2: もし仮になんらかのものが第一試案でないとすればそれは投資促進税制でないしそれに鈍い fact3: その細経は鈍くてかつ投資促進税制である fact4: その細経は鈍い fact5: もしも「なんらかの物は工学技術であるということはない」ということは事実であるとすればとろくないかまたは第一試案でないか両方ともだ ; $hypothesis$ = その細経は投資促進税制である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: その先端技術商品が工学技術でないかあるいは青白くないかどちらもならばこの旗差し物は工学技術でない
事実2: もし仮になんらかのものが第一試案でないとすればそれは投資促進税制でないしそれに鈍い
事実3: その細経は鈍くてかつ投資促進税制である
事実4: その細経は鈍い
事実5: もしも「なんらかの物は工学技術であるということはない」ということは事実であるとすればとろくないかまたは第一試案でないか両方ともだ

仮説: その細経は投資促進税制である
1. 事実3から、仮説が導かれる

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