この衛生は葉陰である
fact1: 仮に「この衛生は画一化するししかも堪え難い」ということは成り立たないならばそれは能・狂言でない fact2: この衛生は能・狂言でないとすれば「居座るしまたそれは司教達でない」ということは嘘だ fact3: 仮に「この衛生は自足しなくてかつ巻き込まない」ということは成り立たないとしたらそれは出帆する fact4: 「この衛生は自足しなくてそれに巻き込まない」ということは成り立たない fact5: もしとある物が出帆するとすればそれは葉陰だ fact6: もしも「とある物は居座るけどそれは司教達でない」ということは事実と異なれば息苦しい fact7: とある物は息苦しいとすると「葉陰だがしかし出帆しない」ということは事実でない
fact3 & fact4 -> int1: この衛生は出帆する; fact5 -> int2: 「仮にこの衛生が出帆するとするとこの衛生は葉陰である」ということは誤っていない; int1 & int2 -> hypothesis;
fact3 & fact4 -> int1: {B}{a}; fact5 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
この衛生は葉陰であるということはない
fact11 -> int3: もし仮にこの衛生は息苦しいなら「葉陰であるけど出帆しない」ということは間違っている; fact8 -> int4: 「この衛生は居座るが司教達でない」ということは偽であるならばそれは息苦しい;
$facts$ = fact1: 仮に「この衛生は画一化するししかも堪え難い」ということは成り立たないならばそれは能・狂言でない fact2: この衛生は能・狂言でないとすれば「居座るしまたそれは司教達でない」ということは嘘だ fact3: 仮に「この衛生は自足しなくてかつ巻き込まない」ということは成り立たないとしたらそれは出帆する fact4: 「この衛生は自足しなくてそれに巻き込まない」ということは成り立たない fact5: もしとある物が出帆するとすればそれは葉陰だ fact6: もしも「とある物は居座るけどそれは司教達でない」ということは事実と異なれば息苦しい fact7: とある物は息苦しいとすると「葉陰だがしかし出帆しない」ということは事実でない ; $hypothesis$ = この衛生は葉陰である ; $proof$ = 
fact3 & fact4 -> int1: この衛生は出帆する; fact5 -> int2: 「仮にこの衛生が出帆するとするとこの衛生は葉陰である」ということは誤っていない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「この衛生は画一化するししかも堪え難い」ということは成り立たないならばそれは能・狂言でない
事実2: この衛生は能・狂言でないとすれば「居座るしまたそれは司教達でない」ということは嘘だ
事実3: 仮に「この衛生は自足しなくてかつ巻き込まない」ということは成り立たないとしたらそれは出帆する
事実4: 「この衛生は自足しなくてそれに巻き込まない」ということは成り立たない
事実5: もしとある物が出帆するとすればそれは葉陰だ
事実6: もしも「とある物は居座るけどそれは司教達でない」ということは事実と異なれば息苦しい
事実7: とある物は息苦しいとすると「葉陰だがしかし出帆しない」ということは事実でない

仮説: この衛生は葉陰である
1. 事実3と事実4から、推論1: "この衛生は出帆する"が導かれる
2. 事実5から、推論2: "「仮にこの衛生が出帆するとするとこの衛生は葉陰である」ということは誤っていない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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