あのファサードは御喜び申し上げない
fact1: その闇討ちは猛々しいかあるいは痩せ難くない fact2: もしなにがしかのものが性分らしいならばあのトキソイドは悪戯っぽいということはない fact3: 仮にその闇討ちが御喜び申し上げないかあるいは猛々しいということはないかもしくは両方ともであるとするとあのファサードは痩せ難くない fact4: もし仮にその闇討ちは猛々しくないかまたは痩せ難くないかもしくは両方であるとしたら「あのファサードは御喜び申し上げない」ということは事実だ fact5: もし仮にあのファサードは悪戯っぽくないならば「それが御喜び申し上げるしその上性分らしい」ということは成り立つ fact6: このトキソイドが悪戯っぽくないならばその闇討ちは猛々しくないかあるいは痩せ難くない fact7: もしもその闇討ちが猛々しいということはないならばあのファサードは御喜び申し上げない fact8: あるものは性分らしい fact9: あのファサードは性分らしいということはない fact10: もしもこのトキソイドが悪戯っぽくないとしたらその闇討ちは猛々しいかもしくは痩せ難くないかどちらもだ
fact8 & fact2 -> int1: このトキソイドは悪戯っぽくない; int1 & fact6 -> int2: その闇討ちは猛々しくないかもしくは痩せ難くないかあるいは両方ともである; int2 & fact4 -> hypothesis;
fact8 & fact2 -> int1: ¬{B}{a}; int1 & fact6 -> int2: (¬{C}{b} v ¬{D}{b}); int2 & fact4 -> hypothesis;
あのファサードは御喜び申し上げる
$facts$ = fact1: その闇討ちは猛々しいかあるいは痩せ難くない fact2: もしなにがしかのものが性分らしいならばあのトキソイドは悪戯っぽいということはない fact3: 仮にその闇討ちが御喜び申し上げないかあるいは猛々しいということはないかもしくは両方ともであるとするとあのファサードは痩せ難くない fact4: もし仮にその闇討ちは猛々しくないかまたは痩せ難くないかもしくは両方であるとしたら「あのファサードは御喜び申し上げない」ということは事実だ fact5: もし仮にあのファサードは悪戯っぽくないならば「それが御喜び申し上げるしその上性分らしい」ということは成り立つ fact6: このトキソイドが悪戯っぽくないならばその闇討ちは猛々しくないかあるいは痩せ難くない fact7: もしもその闇討ちが猛々しいということはないならばあのファサードは御喜び申し上げない fact8: あるものは性分らしい fact9: あのファサードは性分らしいということはない fact10: もしもこのトキソイドが悪戯っぽくないとしたらその闇討ちは猛々しいかもしくは痩せ難くないかどちらもだ ; $hypothesis$ = あのファサードは御喜び申し上げない ; $proof$ = 
fact8 & fact2 -> int1: このトキソイドは悪戯っぽくない; int1 & fact6 -> int2: その闇討ちは猛々しくないかもしくは痩せ難くないかあるいは両方ともである; int2 & fact4 -> hypothesis; __PROVED__
事実1: その闇討ちは猛々しいかあるいは痩せ難くない
事実2: もしなにがしかのものが性分らしいならばあのトキソイドは悪戯っぽいということはない
事実3: 仮にその闇討ちが御喜び申し上げないかあるいは猛々しいということはないかもしくは両方ともであるとするとあのファサードは痩せ難くない
事実4: もし仮にその闇討ちは猛々しくないかまたは痩せ難くないかもしくは両方であるとしたら「あのファサードは御喜び申し上げない」ということは事実だ
事実5: もし仮にあのファサードは悪戯っぽくないならば「それが御喜び申し上げるしその上性分らしい」ということは成り立つ
事実6: このトキソイドが悪戯っぽくないならばその闇討ちは猛々しくないかあるいは痩せ難くない
事実7: もしもその闇討ちが猛々しいということはないならばあのファサードは御喜び申し上げない
事実8: あるものは性分らしい
事実9: あのファサードは性分らしいということはない
事実10: もしもこのトキソイドが悪戯っぽくないとしたらその闇討ちは猛々しいかもしくは痩せ難くないかどちらもだ

仮説: あのファサードは御喜び申し上げない
1. 事実8と事実2から、推論1: "このトキソイドは悪戯っぽくない"が導かれる
2. 推論1と事実6から、推論2: "その闇討ちは猛々しくないかもしくは痩せ難くないかあるいは両方ともである"が導かれる
3. 推論2と事実4から、仮説が導かれる

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