そのヘリカルＣＴは除く
fact1: もしも「なんらかの物はあどけないけど家紋でない」ということは嘘だとすると鬱陶しい fact2: 仮にそのヘリカルＣＴが高下駄でないとすれば賢いし期す fact3: そのヘリカルＣＴは御めでたい fact4: 満たし続けるが宇宙人でないという物はない fact5: もし賢くない物が期すとしたら政治活動でない fact6: もしそのヘリカルＣＴが賢いならこの二万五千分の一地形図は政治活動でないが除く fact7: あの下知状は政治活動である fact8: ある物は政治活動でないならば「それは除かない」ということは真実だ fact9: 「「あの子企業は満たし続けるし加えて宇宙人である」ということは誤っている」ということは真実だ fact10: 仮にそのヘリカルＣＴが宇宙人だとすればあの子企業は除く fact11: 「なにがしかの物は物スペースだ一方で叩き折るということはない」ということは嘘だとするとそれは釈放する fact12: ぱちスロであるがしかし結わないという物はない fact13: もし仮にあの子企業が宇宙人であるならそのヘリカルＣＴは満たし続ける fact14: もしもある物が高下駄でないかあるいはそれは四以上でないかもしくは両方ともであるならそれは高下駄でない fact15: もし仮に「何かは満たし続けるがしかしそれは宇宙人でない」ということは事実と異なるとしたらそれは政治活動である fact16: もしなんらかのものは政治活動だということはないなら「明かせるし加えて実行し易いということはない」ということは成り立たない fact17: あの子企業が政治活動であるとすればそのヘリカルＣＴは除く fact18: 満たし続けるしまた宇宙人であるというものはない fact19: 仮に「そのヘリカルＣＴは四以上だしおまけに色っぽい」ということは成り立たないとしたら四以上でない
fact4 -> int1: 「あの子企業は満たし続けるがしかし宇宙人でない」ということは偽である; fact15 -> int2: もしも「あの子企業は満たし続けるけど宇宙人でない」ということは成り立つということはないならばそれは政治活動である; int1 & int2 -> int3: あの子企業は政治活動だ; int3 & fact17 -> hypothesis;
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); fact15 -> int2: ¬({AA}{aa} & ¬{AB}{aa}) -> {A}{aa}; int1 & int2 -> int3: {A}{aa}; int3 & fact17 -> hypothesis;
「この二万五千分の一地形図は明かせるけど実行し易くない」ということは成り立たない
fact22 -> int4: もし仮にこの二万五千分の一地形図は政治活動でないならば「それは明かせる一方で実行し易くない」ということは間違いである; fact20 -> int5: もしもそのヘリカルＣＴが高下駄でないかあるいはそれは四以上でないか両方であるなら高下駄だということはない;
$facts$ = fact1: もしも「なんらかの物はあどけないけど家紋でない」ということは嘘だとすると鬱陶しい fact2: 仮にそのヘリカルＣＴが高下駄でないとすれば賢いし期す fact3: そのヘリカルＣＴは御めでたい fact4: 満たし続けるが宇宙人でないという物はない fact5: もし賢くない物が期すとしたら政治活動でない fact6: もしそのヘリカルＣＴが賢いならこの二万五千分の一地形図は政治活動でないが除く fact7: あの下知状は政治活動である fact8: ある物は政治活動でないならば「それは除かない」ということは真実だ fact9: 「「あの子企業は満たし続けるし加えて宇宙人である」ということは誤っている」ということは真実だ fact10: 仮にそのヘリカルＣＴが宇宙人だとすればあの子企業は除く fact11: 「なにがしかの物は物スペースだ一方で叩き折るということはない」ということは嘘だとするとそれは釈放する fact12: ぱちスロであるがしかし結わないという物はない fact13: もし仮にあの子企業が宇宙人であるならそのヘリカルＣＴは満たし続ける fact14: もしもある物が高下駄でないかあるいはそれは四以上でないかもしくは両方ともであるならそれは高下駄でない fact15: もし仮に「何かは満たし続けるがしかしそれは宇宙人でない」ということは事実と異なるとしたらそれは政治活動である fact16: もしなんらかのものは政治活動だということはないなら「明かせるし加えて実行し易いということはない」ということは成り立たない fact17: あの子企業が政治活動であるとすればそのヘリカルＣＴは除く fact18: 満たし続けるしまた宇宙人であるというものはない fact19: 仮に「そのヘリカルＣＴは四以上だしおまけに色っぽい」ということは成り立たないとしたら四以上でない ; $hypothesis$ = そのヘリカルＣＴは除く ; $proof$ = 
fact4 -> int1: 「あの子企業は満たし続けるがしかし宇宙人でない」ということは偽である; fact15 -> int2: もしも「あの子企業は満たし続けるけど宇宙人でない」ということは成り立つということはないならばそれは政治活動である; int1 & int2 -> int3: あの子企業は政治活動だ; int3 & fact17 -> hypothesis; __PROVED__
事実1: もしも「なんらかの物はあどけないけど家紋でない」ということは嘘だとすると鬱陶しい
事実2: 仮にそのヘリカルＣＴが高下駄でないとすれば賢いし期す
事実3: そのヘリカルＣＴは御めでたい
事実4: 満たし続けるが宇宙人でないという物はない
事実5: もし賢くない物が期すとしたら政治活動でない
事実6: もしそのヘリカルＣＴが賢いならこの二万五千分の一地形図は政治活動でないが除く
事実7: あの下知状は政治活動である
事実8: ある物は政治活動でないならば「それは除かない」ということは真実だ
事実9: 「「あの子企業は満たし続けるし加えて宇宙人である」ということは誤っている」ということは真実だ
事実10: 仮にそのヘリカルＣＴが宇宙人だとすればあの子企業は除く
事実11: 「なにがしかの物は物スペースだ一方で叩き折るということはない」ということは嘘だとするとそれは釈放する
事実12: ぱちスロであるがしかし結わないという物はない
事実13: もし仮にあの子企業が宇宙人であるならそのヘリカルＣＴは満たし続ける
事実14: もしもある物が高下駄でないかあるいはそれは四以上でないかもしくは両方ともであるならそれは高下駄でない
事実15: もし仮に「何かは満たし続けるがしかしそれは宇宙人でない」ということは事実と異なるとしたらそれは政治活動である
事実16: もしなんらかのものは政治活動だということはないなら「明かせるし加えて実行し易いということはない」ということは成り立たない
事実17: あの子企業が政治活動であるとすればそのヘリカルＣＴは除く
事実18: 満たし続けるしまた宇宙人であるというものはない
事実19: 仮に「そのヘリカルＣＴは四以上だしおまけに色っぽい」ということは成り立たないとしたら四以上でない

仮説: そのヘリカルＣＴは除く
1. 事実4から、推論1: "「あの子企業は満たし続けるがしかし宇宙人でない」ということは偽である"が導かれる
2. 事実15から、推論2: "もしも「あの子企業は満たし続けるけど宇宙人でない」ということは成り立つということはないならばそれは政治活動である"が導かれる
3. 推論1と推論2から、推論3: "あの子企業は政治活動だ"が導かれる
4. 推論3と事実17から、仮説が導かれる

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