「寄せ集めるし取り出し易くない」物はある
fact1: 仮に「「青べかであるかまたは難くない」ということは間違いである」ものはあるとすると「その椀はがり版である」ということは事実である fact2: 「淡い」物はある fact3: 仮にとある物が淡くないとするとそれは請え船だ一方で焦げ臭くない fact4: もしも何らかのものが銃殺しないか反映され易いかあるいは両方ともであるとしたら銃殺しない fact5: なにかは如才無いということはないとすればあの一金は淡いがしかしそれは外来植物でない fact6: 「仮に「淡くない」ものがあるとするとあの一金は取り出し易いということはない」ということは成り立つ fact7: 「取り出し易くない」物はある fact8: もし「淡くない」ものがあるとするとあの一金は寄せ集めるけど取り出し易くない fact9: 「寄せ集めるし更に取り出し易い」ものはある fact10: 「すべては疑り深くない」ということは確かである fact11: 仮にその椀がどぎつかないとするとこの消尽は銃殺しないかまたは反映され易いかあるいは両方ともだ fact12: もし仮に何らかのものは疑り深くないなら「それは青べかであるかもしくは難くない」ということは間違いである fact13: もしもあの一金が寄せ集めるならこの田園風景は淡くない fact14: 何らかのものは選り好みしない fact15: 狭しないものはある fact16: もし仮に「取り出し易くない」物があるとするとあの一金は搭載出来るけど詰まり易いということはない fact17: 淡くない物はある fact18: 仰々しくない記録材料はある fact19: あるものは搭載出来るけどそれは程近くない fact20: この消尽が銃殺するということはないとするとあの一金は取り出し易いし更にそれは寄せ集める fact21: 「あの一金は取り出し易くない」ということは本当である fact22: 「寄せ集める」物はある
fact17 & fact8 -> int1: あの一金は寄せ集めるけど取り出し易いということはない; int1 -> hypothesis;
この田園風景は請え船であるけれど焦げ臭くない
fact30 -> int2: もしこの消尽が銃殺しないかもしくは反映され易いかもしくはどちらもなら銃殺しない; fact26 -> int3: もしそのローマ法王は疑り深くないならば「それは青べかであるか難くないかもしくは両方ともである」ということは嘘である; fact24 -> int4: そのローマ法王は疑り深くない; int3 & int4 -> int5: 「そのローマ法王は青べかであるかそれは難くないかもしくは両方ともだ」ということは成り立たない; int5 -> int6: それは青べかであるかまたは難くないかあるいは両方だというものはない; int6 -> int7: 「「あの新設住宅着工戸数は青べかであるか難くない」ということは事実と異なる」ということは事実である; int7 -> int8: 「「青べかであるかもしくは難くないかあるいは両方ともである」ということは間違いな」物はある; int8 & fact28 -> int9: その椀はがり版だ; fact29 -> int10: 仮にこの田園風景が淡くないとすると請え船である一方で焦げ臭くない;
$facts$ = fact1: 仮に「「青べかであるかまたは難くない」ということは間違いである」ものはあるとすると「その椀はがり版である」ということは事実である fact2: 「淡い」物はある fact3: 仮にとある物が淡くないとするとそれは請え船だ一方で焦げ臭くない fact4: もしも何らかのものが銃殺しないか反映され易いかあるいは両方ともであるとしたら銃殺しない fact5: なにかは如才無いということはないとすればあの一金は淡いがしかしそれは外来植物でない fact6: 「仮に「淡くない」ものがあるとするとあの一金は取り出し易いということはない」ということは成り立つ fact7: 「取り出し易くない」物はある fact8: もし「淡くない」ものがあるとするとあの一金は寄せ集めるけど取り出し易くない fact9: 「寄せ集めるし更に取り出し易い」ものはある fact10: 「すべては疑り深くない」ということは確かである fact11: 仮にその椀がどぎつかないとするとこの消尽は銃殺しないかまたは反映され易いかあるいは両方ともだ fact12: もし仮に何らかのものは疑り深くないなら「それは青べかであるかもしくは難くない」ということは間違いである fact13: もしもあの一金が寄せ集めるならこの田園風景は淡くない fact14: 何らかのものは選り好みしない fact15: 狭しないものはある fact16: もし仮に「取り出し易くない」物があるとするとあの一金は搭載出来るけど詰まり易いということはない fact17: 淡くない物はある fact18: 仰々しくない記録材料はある fact19: あるものは搭載出来るけどそれは程近くない fact20: この消尽が銃殺するということはないとするとあの一金は取り出し易いし更にそれは寄せ集める fact21: 「あの一金は取り出し易くない」ということは本当である fact22: 「寄せ集める」物はある ; $hypothesis$ = 「寄せ集めるし取り出し易くない」物はある ; $proof$ = 
fact17 & fact8 -> int1: あの一金は寄せ集めるけど取り出し易いということはない; int1 -> hypothesis; __PROVED__
事実1: 仮に「「青べかであるかまたは難くない」ということは間違いである」ものはあるとすると「その椀はがり版である」ということは事実である
事実2: 「淡い」物はある
事実3: 仮にとある物が淡くないとするとそれは請え船だ一方で焦げ臭くない
事実4: もしも何らかのものが銃殺しないか反映され易いかあるいは両方ともであるとしたら銃殺しない
事実5: なにかは如才無いということはないとすればあの一金は淡いがしかしそれは外来植物でない
事実6: 「仮に「淡くない」ものがあるとするとあの一金は取り出し易いということはない」ということは成り立つ
事実7: 「取り出し易くない」物はある
事実8: もし「淡くない」ものがあるとするとあの一金は寄せ集めるけど取り出し易くない
事実9: 「寄せ集めるし更に取り出し易い」ものはある
事実10: 「すべては疑り深くない」ということは確かである
事実11: 仮にその椀がどぎつかないとするとこの消尽は銃殺しないかまたは反映され易いかあるいは両方ともだ
事実12: もし仮に何らかのものは疑り深くないなら「それは青べかであるかもしくは難くない」ということは間違いである
事実13: もしもあの一金が寄せ集めるならこの田園風景は淡くない
事実14: 何らかのものは選り好みしない
事実15: 狭しないものはある
事実16: もし仮に「取り出し易くない」物があるとするとあの一金は搭載出来るけど詰まり易いということはない
事実17: 淡くない物はある
事実18: 仰々しくない記録材料はある
事実19: あるものは搭載出来るけどそれは程近くない
事実20: この消尽が銃殺するということはないとするとあの一金は取り出し易いし更にそれは寄せ集める
事実21: 「あの一金は取り出し易くない」ということは本当である
事実22: 「寄せ集める」物はある

仮説: 「寄せ集めるし取り出し易くない」物はある
1. 事実17と事実8から、推論1: "あの一金は寄せ集めるけど取り出し易いということはない"が導かれる
2. 推論1から、仮説が導かれる

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