あのファミリー・サポートセンターは毒々しかないかもしくは薄汚いかあるいはどちらもだ
fact1: 仮に何かは立ち上がるとしたら「毒々しかない」ということは本当だ fact2: 「この仕事全体は興奮し易い」ということは成り立つ fact3: あのファミリー・サポートセンターは立ち上がるしＩＦＯＲだ
fact3 -> int1: あのファミリー・サポートセンターは立ち上がる; fact1 -> int2: もしあのファミリー・サポートセンターが立ち上がればそれは毒々しかない; int1 & int2 -> int3: あのファミリー・サポートセンターは毒々しかない; int3 -> hypothesis;
この仕事全体は興奮し易くてそれは余る
$facts$ = fact1: 仮に何かは立ち上がるとしたら「毒々しかない」ということは本当だ fact2: 「この仕事全体は興奮し易い」ということは成り立つ fact3: あのファミリー・サポートセンターは立ち上がるしＩＦＯＲだ ; $hypothesis$ = あのファミリー・サポートセンターは毒々しかないかもしくは薄汚いかあるいはどちらもだ ; $proof$ = 
fact3 -> int1: あのファミリー・サポートセンターは立ち上がる; fact1 -> int2: もしあのファミリー・サポートセンターが立ち上がればそれは毒々しかない; int1 & int2 -> int3: あのファミリー・サポートセンターは毒々しかない; int3 -> hypothesis; __PROVED__
事実1: 仮に何かは立ち上がるとしたら「毒々しかない」ということは本当だ
事実2: 「この仕事全体は興奮し易い」ということは成り立つ
事実3: あのファミリー・サポートセンターは立ち上がるしＩＦＯＲだ

仮説: あのファミリー・サポートセンターは毒々しかないかもしくは薄汚いかあるいはどちらもだ
1. 事実3から、推論1: "あのファミリー・サポートセンターは立ち上がる"が導かれる
2. 事実1から、推論2: "もしあのファミリー・サポートセンターが立ち上がればそれは毒々しかない"が導かれる
3. 推論1と推論2から、推論3: "あのファミリー・サポートセンターは毒々しかない"が導かれる
4. 推論3から、仮説が導かれる

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