そのハープは及び難い
fact1: その土地利用は及び難い fact2: そのハープは曜日でないかもしくは排気しないかまたは両方ともである fact3: もしそのハープは曜日でないとしたらそれは加え続ける fact4: もし仮にこの解答が悔やまないかもしくは加え続けるということはないかもしくは両方だとすればそれは文筆活動である fact5: そのハープは曜日であるか排気しないかあるいは両方だ fact6: 仮にそのハープは小狡いということはないかまたは国譲りでないか両方ならそれは及び難い fact7: もし仮にそのハープが曜日でないかもしくは排気しないとすれば加え続ける fact8: 仮に何らかの物が関係深いとすればサンさんである fact9: もし仮にそのハープが符号化するとしたらそれは狡賢くない fact10: そのハープは特別編である fact11: そのハープは木賊でないか決め難くないかまたは両方ともだ fact12: そのハープは符号化する fact13: もしもなにかは加え続けるとすると及び難い
fact7 & fact2 -> int1: そのハープは加え続ける; fact13 -> int2: そのハープが加え続けるとすれば及び難い; int1 & int2 -> hypothesis;
その政治的関係は排気する
fact14 & fact15 -> int3: そのハープは狡賢くない; int3 -> int4: 「狡賢くない」物はある;
$facts$ = fact1: その土地利用は及び難い fact2: そのハープは曜日でないかもしくは排気しないかまたは両方ともである fact3: もしそのハープは曜日でないとしたらそれは加え続ける fact4: もし仮にこの解答が悔やまないかもしくは加え続けるということはないかもしくは両方だとすればそれは文筆活動である fact5: そのハープは曜日であるか排気しないかあるいは両方だ fact6: 仮にそのハープは小狡いということはないかまたは国譲りでないか両方ならそれは及び難い fact7: もし仮にそのハープが曜日でないかもしくは排気しないとすれば加え続ける fact8: 仮に何らかの物が関係深いとすればサンさんである fact9: もし仮にそのハープが符号化するとしたらそれは狡賢くない fact10: そのハープは特別編である fact11: そのハープは木賊でないか決め難くないかまたは両方ともだ fact12: そのハープは符号化する fact13: もしもなにかは加え続けるとすると及び難い ; $hypothesis$ = そのハープは及び難い ; $proof$ = 
fact7 & fact2 -> int1: そのハープは加え続ける; fact13 -> int2: そのハープが加え続けるとすれば及び難い; int1 & int2 -> hypothesis; __PROVED__
事実1: その土地利用は及び難い
事実2: そのハープは曜日でないかもしくは排気しないかまたは両方ともである
事実3: もしそのハープは曜日でないとしたらそれは加え続ける
事実4: もし仮にこの解答が悔やまないかもしくは加え続けるということはないかもしくは両方だとすればそれは文筆活動である
事実5: そのハープは曜日であるか排気しないかあるいは両方だ
事実6: 仮にそのハープは小狡いということはないかまたは国譲りでないか両方ならそれは及び難い
事実7: もし仮にそのハープが曜日でないかもしくは排気しないとすれば加え続ける
事実8: 仮に何らかの物が関係深いとすればサンさんである
事実9: もし仮にそのハープが符号化するとしたらそれは狡賢くない
事実10: そのハープは特別編である
事実11: そのハープは木賊でないか決め難くないかまたは両方ともだ
事実12: そのハープは符号化する
事実13: もしもなにかは加え続けるとすると及び難い

仮説: そのハープは及び難い
1. 事実7と事実2から、推論1: "そのハープは加え続ける"が導かれる
2. 事実13から、推論2: "そのハープが加え続けるとすれば及び難い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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