あの京劇は支持者でないしまた相対化出来るということはない
fact1: あの京劇は組織種別だ fact2: この保険金は組織種別だとすると「「あの京劇は支持者だということはないしかつ相対化出来ない」ということは事実だ」ということは成り立つということはない fact3: もし仮に「あのトラバースが降り方だしその上それは分娩する」ということは嘘ならばその統一国家は後胸でない fact4: もしあの京劇は製鉄業でないなら「それは付け難くないかあるいは講ずかあるいは両方ともだ」ということは確かでない fact5: 「あの京劇は呼び掛けであるということはないか馬鹿馬鹿しいかまたは両方ともである」ということは成り立つということはない fact6: あの京劇は製鉄業でない fact7: 仮にこの保険金が製鉄業だとしたら講ずないし更に付け難くない fact8: もしあの京劇が耳打ちしないならば掻い潜る fact9: 仮に「あの京劇は起こし難くないかまたは感化するかもしくはどちらもである」ということは嘘なら講ずない fact10: 仮に組織種別が州単位ならば支持者でない fact11: もしもその統一国家が後胸でないならばこのトンネル工事は御済まない fact12: もし「なんらかのものは付け難いということはないかもしくはそれは講ず」ということは誤りだとすると「それは相対化出来ない」ということは間違いだということはない fact13: この完全変態が講ずないなら見え易い fact14: この物的資本は製鉄業である fact15: もしもとあるものが御済まないとしたらそれは製鉄業であるということはないししかも祈り為さる fact16: あの京劇は州単位だ fact17: 「あの京劇は詳しい」ということは真実でない fact18: このトンネル工事が製鉄業でないけど祈り為さるならばあの保険金は製鉄業だ
fact1 & fact16 -> int1: あの京劇は組織種別だし州単位だ; fact10 -> int2: あの京劇が組織種別であるしまた州単位だとすればそれは支持者でない; int1 & int2 -> int3: あの京劇は支持者でない; fact12 -> int4: もし仮に「あの京劇は付け難くないかまたは講ず」ということは成り立たないとするとそれは相対化出来るということはない; fact4 & fact6 -> int5: 「あの京劇は付け難くないかもしくはそれは講ずかもしくは両方だ」ということは誤りである; int4 & int5 -> int6: 「あの京劇は相対化出来ない」ということは成り立つ; int3 & int6 -> hypothesis;
「「あの京劇は支持者であるということはないしさらに相対化出来ない」ということは真実だ」ということは嘘だ
fact23 -> int7: このトンネル工事が御済むということはないならば製鉄業でないししかもそれは祈り為さる;
$facts$ = fact1: あの京劇は組織種別だ fact2: この保険金は組織種別だとすると「「あの京劇は支持者だということはないしかつ相対化出来ない」ということは事実だ」ということは成り立つということはない fact3: もし仮に「あのトラバースが降り方だしその上それは分娩する」ということは嘘ならばその統一国家は後胸でない fact4: もしあの京劇は製鉄業でないなら「それは付け難くないかあるいは講ずかあるいは両方ともだ」ということは確かでない fact5: 「あの京劇は呼び掛けであるということはないか馬鹿馬鹿しいかまたは両方ともである」ということは成り立つということはない fact6: あの京劇は製鉄業でない fact7: 仮にこの保険金が製鉄業だとしたら講ずないし更に付け難くない fact8: もしあの京劇が耳打ちしないならば掻い潜る fact9: 仮に「あの京劇は起こし難くないかまたは感化するかもしくはどちらもである」ということは嘘なら講ずない fact10: 仮に組織種別が州単位ならば支持者でない fact11: もしもその統一国家が後胸でないならばこのトンネル工事は御済まない fact12: もし「なんらかのものは付け難いということはないかもしくはそれは講ず」ということは誤りだとすると「それは相対化出来ない」ということは間違いだということはない fact13: この完全変態が講ずないなら見え易い fact14: この物的資本は製鉄業である fact15: もしもとあるものが御済まないとしたらそれは製鉄業であるということはないししかも祈り為さる fact16: あの京劇は州単位だ fact17: 「あの京劇は詳しい」ということは真実でない fact18: このトンネル工事が製鉄業でないけど祈り為さるならばあの保険金は製鉄業だ ; $hypothesis$ = あの京劇は支持者でないしまた相対化出来るということはない ; $proof$ = 
fact1 & fact16 -> int1: あの京劇は組織種別だし州単位だ; fact10 -> int2: あの京劇が組織種別であるしまた州単位だとすればそれは支持者でない; int1 & int2 -> int3: あの京劇は支持者でない; fact12 -> int4: もし仮に「あの京劇は付け難くないかまたは講ず」ということは成り立たないとするとそれは相対化出来るということはない; fact4 & fact6 -> int5: 「あの京劇は付け難くないかもしくはそれは講ずかもしくは両方だ」ということは誤りである; int4 & int5 -> int6: 「あの京劇は相対化出来ない」ということは成り立つ; int3 & int6 -> hypothesis; __PROVED__
事実1: あの京劇は組織種別だ
事実2: この保険金は組織種別だとすると「「あの京劇は支持者だということはないしかつ相対化出来ない」ということは事実だ」ということは成り立つということはない
事実3: もし仮に「あのトラバースが降り方だしその上それは分娩する」ということは嘘ならばその統一国家は後胸でない
事実4: もしあの京劇は製鉄業でないなら「それは付け難くないかあるいは講ずかあるいは両方ともだ」ということは確かでない
事実5: 「あの京劇は呼び掛けであるということはないか馬鹿馬鹿しいかまたは両方ともである」ということは成り立つということはない
事実6: あの京劇は製鉄業でない
事実7: 仮にこの保険金が製鉄業だとしたら講ずないし更に付け難くない
事実8: もしあの京劇が耳打ちしないならば掻い潜る
事実9: 仮に「あの京劇は起こし難くないかまたは感化するかもしくはどちらもである」ということは嘘なら講ずない
事実10: 仮に組織種別が州単位ならば支持者でない
事実11: もしもその統一国家が後胸でないならばこのトンネル工事は御済まない
事実12: もし「なんらかのものは付け難いということはないかもしくはそれは講ず」ということは誤りだとすると「それは相対化出来ない」ということは間違いだということはない
事実13: この完全変態が講ずないなら見え易い
事実14: この物的資本は製鉄業である
事実15: もしもとあるものが御済まないとしたらそれは製鉄業であるということはないししかも祈り為さる
事実16: あの京劇は州単位だ
事実17: 「あの京劇は詳しい」ということは真実でない
事実18: このトンネル工事が製鉄業でないけど祈り為さるならばあの保険金は製鉄業だ

仮説: あの京劇は支持者でないしまた相対化出来るということはない
1. 事実1と事実16から、推論1: "あの京劇は組織種別だし州単位だ"が導かれる
2. 事実10から、推論2: "あの京劇が組織種別であるしまた州単位だとすればそれは支持者でない"が導かれる
3. 推論1と推論2から、推論3: "あの京劇は支持者でない"が導かれる
4. 事実12から、推論4: "もし仮に「あの京劇は付け難くないかまたは講ず」ということは成り立たないとするとそれは相対化出来るということはない"が導かれる
5. 事実4と事実6から、推論5: "「あの京劇は付け難くないかもしくはそれは講ずかもしくは両方だ」ということは誤りである"が導かれる
6. 推論4と推論5から、推論6: "「あの京劇は相対化出来ない」ということは成り立つ"が導かれる
7. 推論3と推論6から、仮説が導かれる

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