あの保全工事は馬尾でない
fact1: あの禁句は燃え出すかまたは低い fact2: なんらかの物が愛玩しないとすると美ししそれは燃え出す fact3: もしあの禁句が燃え出すならばあの保全工事は美し fact4: 美し物は馬尾だ fact5: あの禁句が低いとしたらあの保全工事は美し
fact4 -> int1: 「もしもあの保全工事が美しとするとあの保全工事は馬尾である」ということは事実だ; fact5 & fact1 & fact3 -> int2: あの保全工事は美し; int1 & int2 -> hypothesis;
あの保全工事は馬尾でない
fact6 -> int3: あの禁句が愛玩しないとしたらそれは美ししさらに燃え出す;
$facts$ = fact1: あの禁句は燃え出すかまたは低い fact2: なんらかの物が愛玩しないとすると美ししそれは燃え出す fact3: もしあの禁句が燃え出すならばあの保全工事は美し fact4: 美し物は馬尾だ fact5: あの禁句が低いとしたらあの保全工事は美し ; $hypothesis$ = あの保全工事は馬尾でない ; $proof$ = 
fact4 -> int1: 「もしもあの保全工事が美しとするとあの保全工事は馬尾である」ということは事実だ; fact5 & fact1 & fact3 -> int2: あの保全工事は美し; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの禁句は燃え出すかまたは低い
事実2: なんらかの物が愛玩しないとすると美ししそれは燃え出す
事実3: もしあの禁句が燃え出すならばあの保全工事は美し
事実4: 美し物は馬尾だ
事実5: あの禁句が低いとしたらあの保全工事は美し

仮説: あの保全工事は馬尾でない
1. 事実4から、推論1: "「もしもあの保全工事が美しとするとあの保全工事は馬尾である」ということは事実だ"が導かれる
2. 事実5と事実1と事実3から、推論2: "あの保全工事は美し"が導かれる
3. 推論1と推論2から、仮説が否定される

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