「この臣はブラバスらしくないけれど参加する」ということは成り立つ
fact1: この周辺光量は否定し難くないなら「この臣は遊び仲間であるかあるいは否定し難いということはない」ということは誤っている fact2: 「「命ずるがしかし参加しない」ということは間違っている」ものはある fact3: もし「あるものは遊び仲間であるかまたはそれは否定し難くないか両方ともだ」ということは誤っているとすると「ブラバスらしくない」ということは正しい fact4: この住宅費は仕立てない fact5: もし仮にこの住宅費が仕立てないし水源開発であるということはないならばこの周辺光量は否定し難くない fact6: この住宅費は水源開発でない fact7: もし「なんらかのものは疑問視するかもしくは仕立てないかあるいは両方ともだ」ということは事実でないならば「それは減少でない」ということは事実である fact8: もし「「命ずるしさらに参加しない」ということは正しくない」物があるならこの臣は参加する
fact4 & fact6 -> int1: この住宅費は仕立てるということはないし水源開発でない; int1 & fact5 -> int2: この周辺光量は否定し難くない; int2 & fact1 -> int3: 「この臣は遊び仲間であるかまたはそれは否定し難くないかもしくは両方ともである」ということは嘘である; fact3 -> int4: 仮に「この臣は遊び仲間であるか否定し難くない」ということは成り立たないとするとブラバスらしくない; int3 & int4 -> int5: この臣はブラバスらしくない; fact2 & fact8 -> int6: この臣は参加する; int5 & int6 -> hypothesis;
もしも「この周辺光量は疑問視するかまたは仕立てない」ということは間違っているとするとそれは減少でない
fact9 -> hypothesis;
$facts$ = fact1: この周辺光量は否定し難くないなら「この臣は遊び仲間であるかあるいは否定し難いということはない」ということは誤っている fact2: 「「命ずるがしかし参加しない」ということは間違っている」ものはある fact3: もし「あるものは遊び仲間であるかまたはそれは否定し難くないか両方ともだ」ということは誤っているとすると「ブラバスらしくない」ということは正しい fact4: この住宅費は仕立てない fact5: もし仮にこの住宅費が仕立てないし水源開発であるということはないならばこの周辺光量は否定し難くない fact6: この住宅費は水源開発でない fact7: もし「なんらかのものは疑問視するかもしくは仕立てないかあるいは両方ともだ」ということは事実でないならば「それは減少でない」ということは事実である fact8: もし「「命ずるしさらに参加しない」ということは正しくない」物があるならこの臣は参加する ; $hypothesis$ = 「この臣はブラバスらしくないけれど参加する」ということは成り立つ ; $proof$ = 
fact4 & fact6 -> int1: この住宅費は仕立てるということはないし水源開発でない; int1 & fact5 -> int2: この周辺光量は否定し難くない; int2 & fact1 -> int3: 「この臣は遊び仲間であるかまたはそれは否定し難くないかもしくは両方ともである」ということは嘘である; fact3 -> int4: 仮に「この臣は遊び仲間であるか否定し難くない」ということは成り立たないとするとブラバスらしくない; int3 & int4 -> int5: この臣はブラバスらしくない; fact2 & fact8 -> int6: この臣は参加する; int5 & int6 -> hypothesis; __PROVED__
事実1: この周辺光量は否定し難くないなら「この臣は遊び仲間であるかあるいは否定し難いということはない」ということは誤っている
事実2: 「「命ずるがしかし参加しない」ということは間違っている」ものはある
事実3: もし「あるものは遊び仲間であるかまたはそれは否定し難くないか両方ともだ」ということは誤っているとすると「ブラバスらしくない」ということは正しい
事実4: この住宅費は仕立てない
事実5: もし仮にこの住宅費が仕立てないし水源開発であるということはないならばこの周辺光量は否定し難くない
事実6: この住宅費は水源開発でない
事実7: もし「なんらかのものは疑問視するかもしくは仕立てないかあるいは両方ともだ」ということは事実でないならば「それは減少でない」ということは事実である
事実8: もし「「命ずるしさらに参加しない」ということは正しくない」物があるならこの臣は参加する

仮説: 「この臣はブラバスらしくないけれど参加する」ということは成り立つ
1. 事実4と事実6から、推論1: "この住宅費は仕立てるということはないし水源開発でない"が導かれる
2. 推論1と事実5から、推論2: "この周辺光量は否定し難くない"が導かれる
3. 推論2と事実1から、推論3: "「この臣は遊び仲間であるかまたはそれは否定し難くないかもしくは両方ともである」ということは嘘である"が導かれる
4. 事実3から、推論4: "仮に「この臣は遊び仲間であるか否定し難くない」ということは成り立たないとするとブラバスらしくない"が導かれる
5. 推論3と推論4から、推論5: "この臣はブラバスらしくない"が導かれる
6. 事実2と事実8から、推論6: "この臣は参加する"が導かれる
7. 推論5と推論6から、仮説が導かれる

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