あの人的役務は米屋であるけれどそれは素早いということはない
fact1: もしもあのデビルが再版するとすればあの人的役務は米屋である fact2: もしも「あのデビルは再版する」ということは誤りでないとするとあの人的役務は米屋だが素早くない fact3: このランニングシャツは選択され易い fact4: このランニングシャツが再版するとすればあのデビルは選択され易い fact5: もしも選択され易い物が再版しないとすれば米屋である fact6: このランニングシャツは孵化するけどそれは再版しない fact7: 仮に「「あのデビルはブロック内でなくておまけに再版しない」ということは事実である」ということは成り立たないとしたら「それは選択され易くない」ということは成り立つ fact8: もしもこのランニングシャツが選択され易いとしたらあの人的役務は米屋であるけれどそれは再版しない fact9: もしも何かは素早くないなら「それは森林整備だけれどブロック内であるということはない」ということは成り立つということはない fact10: あの日本家屋は素早い fact11: もし仮に「なにがしかの物は森林整備であるがしかしブロック内でない」ということは成り立つということはないならそれは森林整備でない fact12: あの人的役務は米屋だ fact13: もし仮にこのランニングシャツが選択され易いとすればあのデビルは再版する
fact13 & fact3 -> int1: あのデビルは再版する; int1 & fact2 -> hypothesis;
fact13 & fact3 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
「あの人的役務は米屋だ一方で素早いということはない」ということは誤りである
$facts$ = fact1: もしもあのデビルが再版するとすればあの人的役務は米屋である fact2: もしも「あのデビルは再版する」ということは誤りでないとするとあの人的役務は米屋だが素早くない fact3: このランニングシャツは選択され易い fact4: このランニングシャツが再版するとすればあのデビルは選択され易い fact5: もしも選択され易い物が再版しないとすれば米屋である fact6: このランニングシャツは孵化するけどそれは再版しない fact7: 仮に「「あのデビルはブロック内でなくておまけに再版しない」ということは事実である」ということは成り立たないとしたら「それは選択され易くない」ということは成り立つ fact8: もしもこのランニングシャツが選択され易いとしたらあの人的役務は米屋であるけれどそれは再版しない fact9: もしも何かは素早くないなら「それは森林整備だけれどブロック内であるということはない」ということは成り立つということはない fact10: あの日本家屋は素早い fact11: もし仮に「なにがしかの物は森林整備であるがしかしブロック内でない」ということは成り立つということはないならそれは森林整備でない fact12: あの人的役務は米屋だ fact13: もし仮にこのランニングシャツが選択され易いとすればあのデビルは再版する ; $hypothesis$ = あの人的役務は米屋であるけれどそれは素早いということはない ; $proof$ = 
fact13 & fact3 -> int1: あのデビルは再版する; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしもあのデビルが再版するとすればあの人的役務は米屋である
事実2: もしも「あのデビルは再版する」ということは誤りでないとするとあの人的役務は米屋だが素早くない
事実3: このランニングシャツは選択され易い
事実4: このランニングシャツが再版するとすればあのデビルは選択され易い
事実5: もしも選択され易い物が再版しないとすれば米屋である
事実6: このランニングシャツは孵化するけどそれは再版しない
事実7: 仮に「「あのデビルはブロック内でなくておまけに再版しない」ということは事実である」ということは成り立たないとしたら「それは選択され易くない」ということは成り立つ
事実8: もしもこのランニングシャツが選択され易いとしたらあの人的役務は米屋であるけれどそれは再版しない
事実9: もしも何かは素早くないなら「それは森林整備だけれどブロック内であるということはない」ということは成り立つということはない
事実10: あの日本家屋は素早い
事実11: もし仮に「なにがしかの物は森林整備であるがしかしブロック内でない」ということは成り立つということはないならそれは森林整備でない
事実12: あの人的役務は米屋だ
事実13: もし仮にこのランニングシャツが選択され易いとすればあのデビルは再版する

仮説: あの人的役務は米屋であるけれどそれは素早いということはない
1. 事実13と事実3から、推論1: "あのデビルは再版する"が導かれる
2. 推論1と事実2から、仮説が導かれる

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