「そのポンチョは尤もらしくないけれど手際良い」ということは誤っている
fact1: もしもあるものが犯行だということはないなら用い易くて産業用である fact2: 用い易いものは尤もらしくないが手際良い fact3: 「そのポンチョは供出しない一方でそれは攻撃的行動である」ということは成り立たない fact4: 「そのポンチョは尤もらしいしまた手際良い」ということは誤りである fact5: 「そのポンチョは尤もらしいということはない一方で手際良い」ということは偽である fact6: もし「あるものは用い易いが産業用でない」ということは事実と異なるならそれは用い易くない
fact5 -> hypothesis;
fact5 -> hypothesis;
そのポンチョは尤もらしいということはないが手際良い
fact8 -> int1: もしもそのポンチョが用い易いならばそれは尤もらしくない一方で手際良い; fact7 -> int2: そのポンチョは犯行であるということはないとしたら用い易いしかつ産業用だ;
$facts$ = fact1: もしもあるものが犯行だということはないなら用い易くて産業用である fact2: 用い易いものは尤もらしくないが手際良い fact3: 「そのポンチョは供出しない一方でそれは攻撃的行動である」ということは成り立たない fact4: 「そのポンチョは尤もらしいしまた手際良い」ということは誤りである fact5: 「そのポンチョは尤もらしいということはない一方で手際良い」ということは偽である fact6: もし「あるものは用い易いが産業用でない」ということは事実と異なるならそれは用い易くない ; $hypothesis$ = 「そのポンチョは尤もらしくないけれど手際良い」ということは誤っている ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしもあるものが犯行だということはないなら用い易くて産業用である
事実2: 用い易いものは尤もらしくないが手際良い
事実3: 「そのポンチョは供出しない一方でそれは攻撃的行動である」ということは成り立たない
事実4: 「そのポンチョは尤もらしいしまた手際良い」ということは誤りである
事実5: 「そのポンチョは尤もらしいということはない一方で手際良い」ということは偽である
事実6: もし「あるものは用い易いが産業用でない」ということは事実と異なるならそれは用い易くない

仮説: 「そのポンチョは尤もらしくないけれど手際良い」ということは誤っている
1. 事実5から、仮説が導かれる

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