「湿っぽいしストップバンドな」ものはある
fact1: とある物はストップバンドだ fact2: この各課は湿っぽいしストップバンドだ fact3: 築き難くないものは湿っぽいし引き起こし易い fact4: その灯籠はストップバンドである
fact2 -> hypothesis;
fact2 -> hypothesis;
あのシステムネットワークは湿っぽくて為合う
fact5 -> int1: もし仮にあのシステムネットワークは築き難くないならば「湿っぽいしまた引き起こし易い」ということは成り立つ;
$facts$ = fact1: とある物はストップバンドだ fact2: この各課は湿っぽいしストップバンドだ fact3: 築き難くないものは湿っぽいし引き起こし易い fact4: その灯籠はストップバンドである ; $hypothesis$ = 「湿っぽいしストップバンドな」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: とある物はストップバンドだ
事実2: この各課は湿っぽいしストップバンドだ
事実3: 築き難くないものは湿っぽいし引き起こし易い
事実4: その灯籠はストップバンドである

仮説: 「湿っぽいしストップバンドな」ものはある
1. 事実2から、仮説が導かれる

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