「その個人主義は締めっぽいかもしくはそれはデモ行進するかあるいはどちらもだ」ということは事実でない
fact1: 道路特定事業計画は締めっぽい fact2: もしもその重畳は道路特定事業計画であるならば「その個人主義は締めっぽい」ということは真実である fact3: その重畳は道路特定事業計画だ fact4: もし「なにかは参上致すということはない」ということは真実であるとすると「デモ行進するし道路特定事業計画だ」ということは成り立つ
fact2 & fact3 -> int1: その個人主義は締めっぽい; int1 -> hypothesis;
「あのＩＴ機器は締めっぽい」ということは真実だ
fact6 -> int2: もしあのＩＴ機器が道路特定事業計画だとしたら締めっぽい; fact5 -> int3: もしあのＩＴ機器が参上致さないとしたらそれはデモ行進するし道路特定事業計画だ;
$facts$ = fact1: 道路特定事業計画は締めっぽい fact2: もしもその重畳は道路特定事業計画であるならば「その個人主義は締めっぽい」ということは真実である fact3: その重畳は道路特定事業計画だ fact4: もし「なにかは参上致すということはない」ということは真実であるとすると「デモ行進するし道路特定事業計画だ」ということは成り立つ ; $hypothesis$ = 「その個人主義は締めっぽいかもしくはそれはデモ行進するかあるいはどちらもだ」ということは事実でない ; $proof$ = 
fact2 & fact3 -> int1: その個人主義は締めっぽい; int1 -> hypothesis; __DISPROVED__
事実1: 道路特定事業計画は締めっぽい
事実2: もしもその重畳は道路特定事業計画であるならば「その個人主義は締めっぽい」ということは真実である
事実3: その重畳は道路特定事業計画だ
事実4: もし「なにかは参上致すということはない」ということは真実であるとすると「デモ行進するし道路特定事業計画だ」ということは成り立つ

仮説: 「その個人主義は締めっぽいかもしくはそれはデモ行進するかあるいはどちらもだ」ということは事実でない
1. 事実2と事実3から、推論1: "その個人主義は締めっぽい"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。