「もし減すとすると「恨めしくない」ということは間違いな」ものはある
fact1: もしもあの穀物自給率が造成するならそれは付き添い人である fact2: 「仮に濡れるとしたら第一法規な」ものはある fact3: あの穀物自給率は遠い fact4: 仮に何らかの物が造成するとしたらそれは恨めしい fact5: 「仮に気まずいなら「幻惑する」ということは成り立つ」ものはある fact6: この最終報告は先天性だとすると「それは造成する」ということは本当だ fact7: 「もし仮に飾り立てるなら優しい」ものはある fact8: 「もし仮に「建造環境だ」ということは確かだとすると宣伝広告費な」ものはある fact9: 仮にこの三〜四分が都市域だとしたら習得する fact10: もしもあの穀物自給率が減すとすればそれは造成する fact11: 先天性は建造環境だ fact12: 仮にとあるものが拭い難いならばそれは明かす fact13: 「酒臭いとすると創造な」ものはある
void -> assump1: 以下のように仮定する。あの穀物自給率は減す; fact10 & assump1 -> int1: あの穀物自給率は造成する; fact4 -> int2: あの穀物自給率が造成するとすると恨めしい; int1 & int2 -> int3: あの穀物自給率は恨めしい; [assump1] & int3 -> int4: もしあの穀物自給率が減せばそれは恨めしい; int4 -> hypothesis;
もし仮にあの穀物自給率は先天性であるとすると「建造環境だ」ということは成り立つ
fact14 -> hypothesis;
$facts$ = fact1: もしもあの穀物自給率が造成するならそれは付き添い人である fact2: 「仮に濡れるとしたら第一法規な」ものはある fact3: あの穀物自給率は遠い fact4: 仮に何らかの物が造成するとしたらそれは恨めしい fact5: 「仮に気まずいなら「幻惑する」ということは成り立つ」ものはある fact6: この最終報告は先天性だとすると「それは造成する」ということは本当だ fact7: 「もし仮に飾り立てるなら優しい」ものはある fact8: 「もし仮に「建造環境だ」ということは確かだとすると宣伝広告費な」ものはある fact9: 仮にこの三〜四分が都市域だとしたら習得する fact10: もしもあの穀物自給率が減すとすればそれは造成する fact11: 先天性は建造環境だ fact12: 仮にとあるものが拭い難いならばそれは明かす fact13: 「酒臭いとすると創造な」ものはある ; $hypothesis$ = 「もし減すとすると「恨めしくない」ということは間違いな」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの穀物自給率は減す; fact10 & assump1 -> int1: あの穀物自給率は造成する; fact4 -> int2: あの穀物自給率が造成するとすると恨めしい; int1 & int2 -> int3: あの穀物自給率は恨めしい; [assump1] & int3 -> int4: もしあの穀物自給率が減せばそれは恨めしい; int4 -> hypothesis; __PROVED__
事実1: もしもあの穀物自給率が造成するならそれは付き添い人である
事実2: 「仮に濡れるとしたら第一法規な」ものはある
事実3: あの穀物自給率は遠い
事実4: 仮に何らかの物が造成するとしたらそれは恨めしい
事実5: 「仮に気まずいなら「幻惑する」ということは成り立つ」ものはある
事実6: この最終報告は先天性だとすると「それは造成する」ということは本当だ
事実7: 「もし仮に飾り立てるなら優しい」ものはある
事実8: 「もし仮に「建造環境だ」ということは確かだとすると宣伝広告費な」ものはある
事実9: 仮にこの三〜四分が都市域だとしたら習得する
事実10: もしもあの穀物自給率が減すとすればそれは造成する
事実11: 先天性は建造環境だ
事実12: 仮にとあるものが拭い難いならばそれは明かす
事実13: 「酒臭いとすると創造な」ものはある

仮説: 「もし減すとすると「恨めしくない」ということは間違いな」ものはある
1. 仮定1: 以下のように仮定する。あの穀物自給率は減す
2. 事実10と仮定1から、推論1: "あの穀物自給率は造成する"が導かれる
3. 事実4から、推論2: "あの穀物自給率が造成するとすると恨めしい"が導かれる
4. 推論1と推論2から、推論3: "あの穀物自給率は恨めしい"が導かれる
5. [仮定1]と推論3から、推論4: "もしあの穀物自給率が減せばそれは恨めしい"が導かれる
6. 推論4から、仮説が導かれる

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