この粉塵は駐在する
fact1: この粉塵は失政だ fact2: その快足は失政であるか自重するかあるいは両方だ fact3: もしその快足が自重するとすればあの粉塵は屋台村である fact4: 「屋台村は駐在する」ということは成り立つ fact5: もしなにかは駐在するとしたら失政である fact6: その快足は否定し難い fact7: もしその快足は失政であるとすればそれは屋台村だ fact8: 仮にその快足が失政であるとすればこの粉塵は屋台村だ
fact2 & fact8 & fact3 -> int1: この粉塵は屋台村だ; fact4 -> int2: もしもこの粉塵が屋台村ならばそれは駐在する; int1 & int2 -> hypothesis;
$facts$ = fact1: この粉塵は失政だ fact2: その快足は失政であるか自重するかあるいは両方だ fact3: もしその快足が自重するとすればあの粉塵は屋台村である fact4: 「屋台村は駐在する」ということは成り立つ fact5: もしなにかは駐在するとしたら失政である fact6: その快足は否定し難い fact7: もしその快足は失政であるとすればそれは屋台村だ fact8: 仮にその快足が失政であるとすればこの粉塵は屋台村だ ; $hypothesis$ = この粉塵は駐在する ; $proof$ = 
fact2 & fact8 & fact3 -> int1: この粉塵は屋台村だ; fact4 -> int2: もしもこの粉塵が屋台村ならばそれは駐在する; int1 & int2 -> hypothesis; __PROVED__
事実1: この粉塵は失政だ
事実2: その快足は失政であるか自重するかあるいは両方だ
事実3: もしその快足が自重するとすればあの粉塵は屋台村である
事実4: 「屋台村は駐在する」ということは成り立つ
事実5: もしなにかは駐在するとしたら失政である
事実6: その快足は否定し難い
事実7: もしその快足は失政であるとすればそれは屋台村だ
事実8: 仮にその快足が失政であるとすればこの粉塵は屋台村だ

仮説: この粉塵は駐在する
1. 事実2と事実8と事実3から、推論1: "この粉塵は屋台村だ"が導かれる
2. 事実4から、推論2: "もしもこの粉塵が屋台村ならばそれは駐在する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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