この民航労連は宅老所だということはない
fact1: 「あの可能性大はコオペレーションであるか脱衣所でないかあるいは両方だ」ということは成り立たない fact2: もし悪しものは同社なら「それは宅老所でない」ということは嘘であるということはない fact3: もし仮にある物がプラスチック製でないとすればこの民航労連はシリーズ物である fact4: 仮になにがしかの物は織り出すなら「それは同社でないけど悪し」ということは誤っている fact5: この小委員会は出し為されば「それは提供し得ないかまたは自治会室であるということはないかあるいはどちらもだ」ということは間違っている fact6: その訪問前は織り出さない fact7: もし仮にその訪問前は同社であるとしたら「この民航労連は同社である」ということは成り立つ fact8: 「「この小委員会は提供し得ないかあるいはそれは自治会室でない」ということは成り立つ」ということは成り立つということはないなら「それはプラスチック製だということはない」ということは事実である fact9: その口内炎はエースであるし加えて香ばしいとすると宅老所でない fact10: もしもこの小委員会が同社だしその上悪しとすると宅老所でない fact11: 「その訪問前は悪し」ということは確かである fact12: そのアルコール量が差し出はましくてさらにそれは程無い fact13: もし「この小委員会は悪しない」ということは真実だとすればこの民航労連は同社である fact14: もし仮にこの民航労連は悪しししかも同社ならそれは織り出さない fact15: もし仮に「あの可能性大はコオペレーションであるかあるいはそれは脱衣所でないかまたは両方だ」ということは偽だとすればこの小委員会は出し為さる fact16: この小委員会は同社であるとしたら「この民航労連は同社だ」ということは確かである fact17: この小委員会は同社である fact18: もしも「「同社でなくて悪し」ということは間違いである」ものがあるとすればその性暴力は同社だ fact19: 仮にその訪問前が織り出さないとすればこの民航労連は悪し fact20: その上位階層は織り出さない
fact19 & fact6 -> int1: この民航労連は悪し; fact16 & fact17 -> int2: この民航労連は同社である; int1 & int2 -> int3: この民航労連は悪ししおまけに同社だ; fact2 -> int4: もし仮にこの民航労連は悪しし同社だとするとそれは宅老所でない; int3 & int4 -> hypothesis;
fact19 & fact6 -> int1: {B}{b}; fact16 & fact17 -> int2: {C}{b}; int1 & int2 -> int3: ({B}{b} & {C}{b}); fact2 -> int4: ({B}{b} & {C}{b}) -> ¬{D}{b}; int3 & int4 -> hypothesis;
「その性暴力は同社である」ということは誤りでない
fact27 -> int5: もしも「その訪問前は織り出す」ということは確かだとすると「同社であるということはないけれど悪し」ということは嘘である; fact26 & fact23 -> int6: この小委員会は出し為さる; fact25 & int6 -> int7: 「この小委員会は提供し得ないかまたは自治会室でないかあるいは両方だ」ということは成り立たない; fact24 & int7 -> int8: この小委員会はプラスチック製でない; int8 -> int9: 「プラスチック製でない」物はある; int9 & fact22 -> int10: この民航労連はシリーズ物である; int10 -> int11: 何かはシリーズ物だ;
$facts$ = fact1: 「あの可能性大はコオペレーションであるか脱衣所でないかあるいは両方だ」ということは成り立たない fact2: もし悪しものは同社なら「それは宅老所でない」ということは嘘であるということはない fact3: もし仮にある物がプラスチック製でないとすればこの民航労連はシリーズ物である fact4: 仮になにがしかの物は織り出すなら「それは同社でないけど悪し」ということは誤っている fact5: この小委員会は出し為されば「それは提供し得ないかまたは自治会室であるということはないかあるいはどちらもだ」ということは間違っている fact6: その訪問前は織り出さない fact7: もし仮にその訪問前は同社であるとしたら「この民航労連は同社である」ということは成り立つ fact8: 「「この小委員会は提供し得ないかあるいはそれは自治会室でない」ということは成り立つ」ということは成り立つということはないなら「それはプラスチック製だということはない」ということは事実である fact9: その口内炎はエースであるし加えて香ばしいとすると宅老所でない fact10: もしもこの小委員会が同社だしその上悪しとすると宅老所でない fact11: 「その訪問前は悪し」ということは確かである fact12: そのアルコール量が差し出はましくてさらにそれは程無い fact13: もし「この小委員会は悪しない」ということは真実だとすればこの民航労連は同社である fact14: もし仮にこの民航労連は悪しししかも同社ならそれは織り出さない fact15: もし仮に「あの可能性大はコオペレーションであるかあるいはそれは脱衣所でないかまたは両方だ」ということは偽だとすればこの小委員会は出し為さる fact16: この小委員会は同社であるとしたら「この民航労連は同社だ」ということは確かである fact17: この小委員会は同社である fact18: もしも「「同社でなくて悪し」ということは間違いである」ものがあるとすればその性暴力は同社だ fact19: 仮にその訪問前が織り出さないとすればこの民航労連は悪し fact20: その上位階層は織り出さない ; $hypothesis$ = この民航労連は宅老所だということはない ; $proof$ = 
fact19 & fact6 -> int1: この民航労連は悪し; fact16 & fact17 -> int2: この民航労連は同社である; int1 & int2 -> int3: この民航労連は悪ししおまけに同社だ; fact2 -> int4: もし仮にこの民航労連は悪しし同社だとするとそれは宅老所でない; int3 & int4 -> hypothesis; __PROVED__
事実1: 「あの可能性大はコオペレーションであるか脱衣所でないかあるいは両方だ」ということは成り立たない
事実2: もし悪しものは同社なら「それは宅老所でない」ということは嘘であるということはない
事実3: もし仮にある物がプラスチック製でないとすればこの民航労連はシリーズ物である
事実4: 仮になにがしかの物は織り出すなら「それは同社でないけど悪し」ということは誤っている
事実5: この小委員会は出し為されば「それは提供し得ないかまたは自治会室であるということはないかあるいはどちらもだ」ということは間違っている
事実6: その訪問前は織り出さない
事実7: もし仮にその訪問前は同社であるとしたら「この民航労連は同社である」ということは成り立つ
事実8: 「「この小委員会は提供し得ないかあるいはそれは自治会室でない」ということは成り立つ」ということは成り立つということはないなら「それはプラスチック製だということはない」ということは事実である
事実9: その口内炎はエースであるし加えて香ばしいとすると宅老所でない
事実10: もしもこの小委員会が同社だしその上悪しとすると宅老所でない
事実11: 「その訪問前は悪し」ということは確かである
事実12: そのアルコール量が差し出はましくてさらにそれは程無い
事実13: もし「この小委員会は悪しない」ということは真実だとすればこの民航労連は同社である
事実14: もし仮にこの民航労連は悪しししかも同社ならそれは織り出さない
事実15: もし仮に「あの可能性大はコオペレーションであるかあるいはそれは脱衣所でないかまたは両方だ」ということは偽だとすればこの小委員会は出し為さる
事実16: この小委員会は同社であるとしたら「この民航労連は同社だ」ということは確かである
事実17: この小委員会は同社である
事実18: もしも「「同社でなくて悪し」ということは間違いである」ものがあるとすればその性暴力は同社だ
事実19: 仮にその訪問前が織り出さないとすればこの民航労連は悪し
事実20: その上位階層は織り出さない

仮説: この民航労連は宅老所だということはない
1. 事実19と事実6から、推論1: "この民航労連は悪し"が導かれる
2. 事実16と事実17から、推論2: "この民航労連は同社である"が導かれる
3. 推論1と推論2から、推論3: "この民航労連は悪ししおまけに同社だ"が導かれる
4. 事実2から、推論4: "もし仮にこの民航労連は悪しし同社だとするとそれは宅老所でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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