あの基礎施工不良は変事でない
fact1: あの基礎施工不良は外形だ fact2: その減塩醤油はいがらっぽいということはないかあるいはそれは引き出し易い fact3: あの基礎施工不良が変事だしその上衣体だ fact4: 「あのカナダ人は衣体だ」ということは事実である fact5: もしその減塩醤油がいがらっぽくないかあるいはそれは引き出し易いか両方だとしたら対抗しない fact6: なにかは対抗しないとするとそれは衣体であるしそれに与え易い
fact3 -> hypothesis;
fact3 -> hypothesis;
その減塩醤油は与え易いしさらに変事である
fact9 -> int1: その減塩醤油が対抗しないとすればそれは衣体だし加えてそれは与え易い; fact8 & fact7 -> int2: その減塩醤油は対抗しない; int1 & int2 -> int3: その減塩醤油は衣体でしかもそれは与え易い; int3 -> int4: 「その減塩醤油は与え易い」ということは真実である;
$facts$ = fact1: あの基礎施工不良は外形だ fact2: その減塩醤油はいがらっぽいということはないかあるいはそれは引き出し易い fact3: あの基礎施工不良が変事だしその上衣体だ fact4: 「あのカナダ人は衣体だ」ということは事実である fact5: もしその減塩醤油がいがらっぽくないかあるいはそれは引き出し易いか両方だとしたら対抗しない fact6: なにかは対抗しないとするとそれは衣体であるしそれに与え易い ; $hypothesis$ = あの基礎施工不良は変事でない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: あの基礎施工不良は外形だ
事実2: その減塩醤油はいがらっぽいということはないかあるいはそれは引き出し易い
事実3: あの基礎施工不良が変事だしその上衣体だ
事実4: 「あのカナダ人は衣体だ」ということは事実である
事実5: もしその減塩醤油がいがらっぽくないかあるいはそれは引き出し易いか両方だとしたら対抗しない
事実6: なにかは対抗しないとするとそれは衣体であるしそれに与え易い

仮説: あの基礎施工不良は変事でない
1. 事実3から、仮説が否定される

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