「コンピュータ・グラフィックスであるかあるいは懐こいかまたは両方である」物はある
fact1: この大型設備が紙パックであるかもしくはそれがコンピュータ・グラフィックスであるとしたらそのキングス・ハイウェイはコンピュータ・グラフィックスでない fact2: もし「とある物は懐こくないものであり加えて玉眼だ」ということは成り立たないならばそれは玉眼でない fact3: あるものは玉眼であるかもしくは懐こいか両方である fact4: 仮にこの大型設備は事務室でないならばそれは専念す fact5: この大型設備は玉眼でない fact6: 「知り難しかまたは積極的行動であるかまたはどちらもである」物はある fact7: この大型設備はシェイプであるかもしくは積極的行動であるかもしくはどちらもである fact8: もし仮にこの大型設備は玉眼でないとしたら懐こい fact9: 何らかのものは懐こいかまたは玉眼であるかまたは両方だ fact10: この大型設備は前掲でない fact11: 仮にこの大型設備が若くないとするとコンピュータ・グラフィックスである
fact8 & fact5 -> int1: この大型設備は懐こい; int1 -> int2: この大型設備はコンピュータ・グラフィックスであるかまたは懐こいかもしくは両方だ; int2 -> hypothesis;
そのキングス・ハイウェイは玉眼でない
fact12 -> int3: もし「そのキングス・ハイウェイは懐こいということはないがしかし玉眼だ」ということは正しくないなら玉眼でない;
$facts$ = fact1: この大型設備が紙パックであるかもしくはそれがコンピュータ・グラフィックスであるとしたらそのキングス・ハイウェイはコンピュータ・グラフィックスでない fact2: もし「とある物は懐こくないものであり加えて玉眼だ」ということは成り立たないならばそれは玉眼でない fact3: あるものは玉眼であるかもしくは懐こいか両方である fact4: 仮にこの大型設備は事務室でないならばそれは専念す fact5: この大型設備は玉眼でない fact6: 「知り難しかまたは積極的行動であるかまたはどちらもである」物はある fact7: この大型設備はシェイプであるかもしくは積極的行動であるかもしくはどちらもである fact8: もし仮にこの大型設備は玉眼でないとしたら懐こい fact9: 何らかのものは懐こいかまたは玉眼であるかまたは両方だ fact10: この大型設備は前掲でない fact11: 仮にこの大型設備が若くないとするとコンピュータ・グラフィックスである ; $hypothesis$ = 「コンピュータ・グラフィックスであるかあるいは懐こいかまたは両方である」物はある ; $proof$ = 
fact8 & fact5 -> int1: この大型設備は懐こい; int1 -> int2: この大型設備はコンピュータ・グラフィックスであるかまたは懐こいかもしくは両方だ; int2 -> hypothesis; __PROVED__
事実1: この大型設備が紙パックであるかもしくはそれがコンピュータ・グラフィックスであるとしたらそのキングス・ハイウェイはコンピュータ・グラフィックスでない
事実2: もし「とある物は懐こくないものであり加えて玉眼だ」ということは成り立たないならばそれは玉眼でない
事実3: あるものは玉眼であるかもしくは懐こいか両方である
事実4: 仮にこの大型設備は事務室でないならばそれは専念す
事実5: この大型設備は玉眼でない
事実6: 「知り難しかまたは積極的行動であるかまたはどちらもである」物はある
事実7: この大型設備はシェイプであるかもしくは積極的行動であるかもしくはどちらもである
事実8: もし仮にこの大型設備は玉眼でないとしたら懐こい
事実9: 何らかのものは懐こいかまたは玉眼であるかまたは両方だ
事実10: この大型設備は前掲でない
事実11: 仮にこの大型設備が若くないとするとコンピュータ・グラフィックスである

仮説: 「コンピュータ・グラフィックスであるかあるいは懐こいかまたは両方である」物はある
1. 事実8と事実5から、推論1: "この大型設備は懐こい"が導かれる
2. 推論1から、推論2: "この大型設備はコンピュータ・グラフィックスであるかまたは懐こいかもしくは両方だ"が導かれる
3. 推論2から、仮説が導かれる

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