「もしも縛り付けないとしたら偉いけど身軽くない」ものはある
fact1: 「もしも湿気易いならば浅ししその上書き殴らない」物はある fact2: もしもこのスキャンダル銘柄が縛り付けないとしたら偉くてそれにそれは身軽くない fact3: 「もしも縛り付けないとすれば「偉い」ということは真実な」物はある fact4: このスキャンダル銘柄が縛り付けるならそれは偉くてそれは身軽いということはない fact5: 偉くないものは知覚探索するけど漏れない fact6: 「仮に縛り付けないとすると偉いしそれに身軽い」物はある fact7: もしこのスキャンダル銘柄が縛り付けないとしたら身軽くない
fact2 -> hypothesis;
仮に「このスキャンダル銘柄は偉くない」ということは事実ならそれは知覚探索するしおまけにそれは漏れない
fact8 -> hypothesis;
$facts$ = fact1: 「もしも湿気易いならば浅ししその上書き殴らない」物はある fact2: もしもこのスキャンダル銘柄が縛り付けないとしたら偉くてそれにそれは身軽くない fact3: 「もしも縛り付けないとすれば「偉い」ということは真実な」物はある fact4: このスキャンダル銘柄が縛り付けるならそれは偉くてそれは身軽いということはない fact5: 偉くないものは知覚探索するけど漏れない fact6: 「仮に縛り付けないとすると偉いしそれに身軽い」物はある fact7: もしこのスキャンダル銘柄が縛り付けないとしたら身軽くない ; $hypothesis$ = 「もしも縛り付けないとしたら偉いけど身軽くない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もしも湿気易いならば浅ししその上書き殴らない」物はある
事実2: もしもこのスキャンダル銘柄が縛り付けないとしたら偉くてそれにそれは身軽くない
事実3: 「もしも縛り付けないとすれば「偉い」ということは真実な」物はある
事実4: このスキャンダル銘柄が縛り付けるならそれは偉くてそれは身軽いということはない
事実5: 偉くないものは知覚探索するけど漏れない
事実6: 「仮に縛り付けないとすると偉いしそれに身軽い」物はある
事実7: もしこのスキャンダル銘柄が縛り付けないとしたら身軽くない

仮説: 「もしも縛り付けないとしたら偉いけど身軽くない」ものはある
1. 事実2から、仮説が導かれる

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