その下記は広い
fact1: 「この理由付け課題は広い」ということは正しい fact2: その下記は固し fact3: この中焦は広い fact4: 「その下記はスタッフ一人一人である」ということは本当である fact5: その下記は思い立つ fact6: その下記は広い fact7: この目撃情報は広い fact8: 仮に「その下記は黄色っぽい」ということは成り立つということはないとすればそのエストリオールは広いし力強い fact9: あの監査方針は広い fact10: その下記は駄々っ子である fact11: 「あのアンジオテンシンは広い」ということは成り立つ fact12: もし「この陰口は力強いということはないかまたは黄色っぽくないかあるいは両方ともだ」ということは成り立たないとすればその下記は広いということはない fact13: その下記はサポート出来る
fact6 -> hypothesis;
fact6 -> hypothesis;
「その下記は広くない」ということは事実だ
$facts$ = fact1: 「この理由付け課題は広い」ということは正しい fact2: その下記は固し fact3: この中焦は広い fact4: 「その下記はスタッフ一人一人である」ということは本当である fact5: その下記は思い立つ fact6: その下記は広い fact7: この目撃情報は広い fact8: 仮に「その下記は黄色っぽい」ということは成り立つということはないとすればそのエストリオールは広いし力強い fact9: あの監査方針は広い fact10: その下記は駄々っ子である fact11: 「あのアンジオテンシンは広い」ということは成り立つ fact12: もし「この陰口は力強いということはないかまたは黄色っぽくないかあるいは両方ともだ」ということは成り立たないとすればその下記は広いということはない fact13: その下記はサポート出来る ; $hypothesis$ = その下記は広い ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「この理由付け課題は広い」ということは正しい
事実2: その下記は固し
事実3: この中焦は広い
事実4: 「その下記はスタッフ一人一人である」ということは本当である
事実5: その下記は思い立つ
事実6: その下記は広い
事実7: この目撃情報は広い
事実8: 仮に「その下記は黄色っぽい」ということは成り立つということはないとすればそのエストリオールは広いし力強い
事実9: あの監査方針は広い
事実10: その下記は駄々っ子である
事実11: 「あのアンジオテンシンは広い」ということは成り立つ
事実12: もし「この陰口は力強いということはないかまたは黄色っぽくないかあるいは両方ともだ」ということは成り立たないとすればその下記は広いということはない
事実13: その下記はサポート出来る

仮説: その下記は広い
1. 事実6から、仮説が導かれる

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