「この三中隊は明るい」ということは成り立つ
fact1: あの三糖は斟酌する fact2: もしもあるものが御報告すればそれは明るい fact3: 仮に「なにがしかの物は埃っぽいしさらに明るい」ということは成り立たないとしたら明るいということはない fact4: もしそのリールが斟酌するとすればそれは埃っぽい fact5: この暗号化機能は明るい fact6: そのリールは斟酌する fact7: もし仮にそのリールが埃っぽいならばあの三中隊は御報告する
fact4 & fact6 -> int1: そのリールは埃っぽい; int1 & fact7 -> int2: この三中隊は御報告する; fact2 -> int3: もし仮にこの三中隊が御報告するとするとそれは明るい; int2 & int3 -> hypothesis;
fact4 & fact6 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; fact2 -> int3: {C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
この三中隊は明るくない
fact8 -> int4: 仮に「この三中隊は埃っぽいししかも明るい」ということは間違っているとしたら明るくない;
$facts$ = fact1: あの三糖は斟酌する fact2: もしもあるものが御報告すればそれは明るい fact3: 仮に「なにがしかの物は埃っぽいしさらに明るい」ということは成り立たないとしたら明るいということはない fact4: もしそのリールが斟酌するとすればそれは埃っぽい fact5: この暗号化機能は明るい fact6: そのリールは斟酌する fact7: もし仮にそのリールが埃っぽいならばあの三中隊は御報告する ; $hypothesis$ = 「この三中隊は明るい」ということは成り立つ ; $proof$ = 
fact4 & fact6 -> int1: そのリールは埃っぽい; int1 & fact7 -> int2: この三中隊は御報告する; fact2 -> int3: もし仮にこの三中隊が御報告するとするとそれは明るい; int2 & int3 -> hypothesis; __PROVED__
事実1: あの三糖は斟酌する
事実2: もしもあるものが御報告すればそれは明るい
事実3: 仮に「なにがしかの物は埃っぽいしさらに明るい」ということは成り立たないとしたら明るいということはない
事実4: もしそのリールが斟酌するとすればそれは埃っぽい
事実5: この暗号化機能は明るい
事実6: そのリールは斟酌する
事実7: もし仮にそのリールが埃っぽいならばあの三中隊は御報告する

仮説: 「この三中隊は明るい」ということは成り立つ
1. 事実4と事実6から、推論1: "そのリールは埃っぽい"が導かれる
2. 推論1と事実7から、推論2: "この三中隊は御報告する"が導かれる
3. 事実2から、推論3: "もし仮にこの三中隊が御報告するとするとそれは明るい"が導かれる
4. 推論2と推論3から、仮説が導かれる

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