この取り締まり役会議長は示し始めるということはない
fact1: もしその渡し場が憎み合うとすればこの取り締まり役会議長は示し始めない fact2: とあるものはどす黒くないかまたはそれは雄々しかない fact3: もし「「どす黒くないかまたは雄々しい」ということは成り立たない」物があるならその渡し場は上層階である fact4: 上層階は示し始める fact5: 「「どす黒いかまたは雄々しかないかもしくはどちらもだ」ということは偽な」物はある fact6: もしもその渡し場が馴染まないとしたらこの取り締まり役会議長は憎み合うし加えて上層階だ fact7: 「雄々しい」物はある fact8: 「「どす黒いということはないかもしくは雄々しいということはないかどちらもだ」ということは成り立たない」ものはある fact9: 仮に何かは上層階であるなら憎み合う fact10: もし「「どす黒いということはないかもしくは雄々しかないかあるいはどちらもだ」ということは成り立たない」ものがあればその渡し場は上層階である
fact8 & fact10 -> int1: その渡し場は上層階である; fact9 -> int2: もしもその渡し場が上層階だとすれば憎み合う; int1 & int2 -> int3: その渡し場は憎み合う; int3 & fact1 -> hypothesis;
「この取り締まり役会議長は示し始める」ということは真実だ
fact11 -> int4: もしこの取り締まり役会議長が上層階だとすると示し始める;
$facts$ = fact1: もしその渡し場が憎み合うとすればこの取り締まり役会議長は示し始めない fact2: とあるものはどす黒くないかまたはそれは雄々しかない fact3: もし「「どす黒くないかまたは雄々しい」ということは成り立たない」物があるならその渡し場は上層階である fact4: 上層階は示し始める fact5: 「「どす黒いかまたは雄々しかないかもしくはどちらもだ」ということは偽な」物はある fact6: もしもその渡し場が馴染まないとしたらこの取り締まり役会議長は憎み合うし加えて上層階だ fact7: 「雄々しい」物はある fact8: 「「どす黒いということはないかもしくは雄々しいということはないかどちらもだ」ということは成り立たない」ものはある fact9: 仮に何かは上層階であるなら憎み合う fact10: もし「「どす黒いということはないかもしくは雄々しかないかあるいはどちらもだ」ということは成り立たない」ものがあればその渡し場は上層階である ; $hypothesis$ = この取り締まり役会議長は示し始めるということはない ; $proof$ = 
fact8 & fact10 -> int1: その渡し場は上層階である; fact9 -> int2: もしもその渡し場が上層階だとすれば憎み合う; int1 & int2 -> int3: その渡し場は憎み合う; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしその渡し場が憎み合うとすればこの取り締まり役会議長は示し始めない
事実2: とあるものはどす黒くないかまたはそれは雄々しかない
事実3: もし「「どす黒くないかまたは雄々しい」ということは成り立たない」物があるならその渡し場は上層階である
事実4: 上層階は示し始める
事実5: 「「どす黒いかまたは雄々しかないかもしくはどちらもだ」ということは偽な」物はある
事実6: もしもその渡し場が馴染まないとしたらこの取り締まり役会議長は憎み合うし加えて上層階だ
事実7: 「雄々しい」物はある
事実8: 「「どす黒いということはないかもしくは雄々しいということはないかどちらもだ」ということは成り立たない」ものはある
事実9: 仮に何かは上層階であるなら憎み合う
事実10: もし「「どす黒いということはないかもしくは雄々しかないかあるいはどちらもだ」ということは成り立たない」ものがあればその渡し場は上層階である

仮説: この取り締まり役会議長は示し始めるということはない
1. 事実8と事実10から、推論1: "その渡し場は上層階である"が導かれる
2. 事実9から、推論2: "もしもその渡し場が上層階だとすれば憎み合う"が導かれる
3. 推論1と推論2から、推論3: "その渡し場は憎み合う"が導かれる
4. 推論3と事実1から、仮説が導かれる

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