この一般通常人は防ぐ
fact1: あの通所系サービスが変ずるとしたらこの一般通常人は防ぐ fact2: 受け辛くないものは変ずるかもしくはジアミンオキシダーゼであるかどちらもだ fact3: あの通所系サービスは手緩いかジアミンオキシダーゼであるか両方だ fact4: あの転校生は受け辛いかもしくはトレーだ fact5: もし仮にあの転校生がトレーだとすればあの通所系サービスは受け辛くない fact6: あの通所系サービスはトレーだ fact7: もしもこの一般通常人が手緩いとすればあの転校生は防がない fact8: もしもあの転校生が変ずるとしたらあの通所系サービスはジアミンオキシダーゼでない fact9: もし仮にあの転校生が手緩いならあの通所系サービスは受け辛いということはない fact10: もし仮にあの通所系サービスが手緩いとすればあの転校生はジアミンオキシダーゼでない fact11: あの転校生がトレーだとすればあの通所系サービスは受け辛い fact12: あの転校生は手緩いかあるいはトレーであるかもしくは両方である fact13: もしもあの通所系サービスがジアミンオキシダーゼならこの一般通常人は防ぐ fact14: 何かは受け辛くないなら防ぐかジアミンオキシダーゼであるかどちらもである fact15: なんらかのものがトレーでないとすればそれは手緩いかあるいはそれは受け辛いか両方ともだ
fact12 & fact9 & fact5 -> int1: あの通所系サービスは受け辛くない; fact2 -> int2: 仮に「あの通所系サービスは受け辛くない」ということは正しいとすると変ずるかまたはジアミンオキシダーゼであるかどちらもである; int1 & int2 -> int3: あの通所系サービスは変ずるかもしくはジアミンオキシダーゼであるかもしくは両方ともだ; int3 & fact1 & fact13 -> hypothesis;
$facts$ = fact1: あの通所系サービスが変ずるとしたらこの一般通常人は防ぐ fact2: 受け辛くないものは変ずるかもしくはジアミンオキシダーゼであるかどちらもだ fact3: あの通所系サービスは手緩いかジアミンオキシダーゼであるか両方だ fact4: あの転校生は受け辛いかもしくはトレーだ fact5: もし仮にあの転校生がトレーだとすればあの通所系サービスは受け辛くない fact6: あの通所系サービスはトレーだ fact7: もしもこの一般通常人が手緩いとすればあの転校生は防がない fact8: もしもあの転校生が変ずるとしたらあの通所系サービスはジアミンオキシダーゼでない fact9: もし仮にあの転校生が手緩いならあの通所系サービスは受け辛いということはない fact10: もし仮にあの通所系サービスが手緩いとすればあの転校生はジアミンオキシダーゼでない fact11: あの転校生がトレーだとすればあの通所系サービスは受け辛い fact12: あの転校生は手緩いかあるいはトレーであるかもしくは両方である fact13: もしもあの通所系サービスがジアミンオキシダーゼならこの一般通常人は防ぐ fact14: 何かは受け辛くないなら防ぐかジアミンオキシダーゼであるかどちらもである fact15: なんらかのものがトレーでないとすればそれは手緩いかあるいはそれは受け辛いか両方ともだ ; $hypothesis$ = この一般通常人は防ぐ ; $proof$ = 
fact12 & fact9 & fact5 -> int1: あの通所系サービスは受け辛くない; fact2 -> int2: 仮に「あの通所系サービスは受け辛くない」ということは正しいとすると変ずるかまたはジアミンオキシダーゼであるかどちらもである; int1 & int2 -> int3: あの通所系サービスは変ずるかもしくはジアミンオキシダーゼであるかもしくは両方ともだ; int3 & fact1 & fact13 -> hypothesis; __PROVED__
事実1: あの通所系サービスが変ずるとしたらこの一般通常人は防ぐ
事実2: 受け辛くないものは変ずるかもしくはジアミンオキシダーゼであるかどちらもだ
事実3: あの通所系サービスは手緩いかジアミンオキシダーゼであるか両方だ
事実4: あの転校生は受け辛いかもしくはトレーだ
事実5: もし仮にあの転校生がトレーだとすればあの通所系サービスは受け辛くない
事実6: あの通所系サービスはトレーだ
事実7: もしもこの一般通常人が手緩いとすればあの転校生は防がない
事実8: もしもあの転校生が変ずるとしたらあの通所系サービスはジアミンオキシダーゼでない
事実9: もし仮にあの転校生が手緩いならあの通所系サービスは受け辛いということはない
事実10: もし仮にあの通所系サービスが手緩いとすればあの転校生はジアミンオキシダーゼでない
事実11: あの転校生がトレーだとすればあの通所系サービスは受け辛い
事実12: あの転校生は手緩いかあるいはトレーであるかもしくは両方である
事実13: もしもあの通所系サービスがジアミンオキシダーゼならこの一般通常人は防ぐ
事実14: 何かは受け辛くないなら防ぐかジアミンオキシダーゼであるかどちらもである
事実15: なんらかのものがトレーでないとすればそれは手緩いかあるいはそれは受け辛いか両方ともだ

仮説: この一般通常人は防ぐ
1. 事実12と事実9と事実5から、推論1: "あの通所系サービスは受け辛くない"が導かれる
2. 事実2から、推論2: "仮に「あの通所系サービスは受け辛くない」ということは正しいとすると変ずるかまたはジアミンオキシダーゼであるかどちらもである"が導かれる
3. 推論1と推論2から、推論3: "あの通所系サービスは変ずるかもしくはジアミンオキシダーゼであるかもしくは両方ともだ"が導かれる
4. 推論3と事実1と事実13から、仮説が導かれる

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