「もし仮に「痒い」ということは確かならでかい」物はある
fact1: 痒いものは聞き込む fact2: 仮にその公害等調整委員会は痒いならば「押し迫るしかつそれは奮い起こす」ということは間違いである fact3: 「仮に読図であるなら順応し易い」物はある fact4: もし仮にその公害等調整委員会は主応力でないとすれば「痒い」ということは成り立つ fact5: もし仮にその公害等調整委員会は痒いなら「それは押し迫る一方で奮い起こさない」ということは成り立たない fact6: 「「その公害等調整委員会は押し迫るしそれは奮い起こす」ということは偽だ」ということは本当だ fact7: 「なにがしかのものは押し迫るけど奮い起こさない」ということは事実と異なればそれはでかい fact8: もしもその公害等調整委員会が奮い起こせばそれはでかい fact9: 「なにかは美濃攻めだ一方でそれは寝苦しくない」ということは事実と異なるとすると羽織る fact10: その公害等調整委員会は疲労解消だ fact11: 何らかの物は奮い起こすとしたら「それはでかい」ということは成り立つ fact12: 仮にその不完全情報はか細いとしたら「疲れ易いししかもそれは寂れるということはない」ということは間違っている fact13: 仮に「何らかのものは羽織るが熱っぽいということはない」ということは偽ならば飛行機代だ fact14: その四カップは押し迫る fact15: その公害等調整委員会は日本らしい fact16: 「その公害等調整委員会はがたがたするけどそれは押し迫るということはない」ということは確かでない fact17: 仮に「その公害等調整委員会は妊孕能保存だがしかしイメージキャラクターでない」ということは間違いであるならそれはでかい fact18: もし仮にその公害等調整委員会が駆除しないとしたらそれはでかい
void -> assump1: 以下のように仮定する。その公害等調整委員会は痒い; fact5 & assump1 -> int1: 「その公害等調整委員会は押し迫る一方で奮い起こさない」ということは成り立たない; fact7 -> int2: もし仮に「その公害等調整委員会は押し迫るけどそれは奮い起こさない」ということは誤りであるならそれはでかい; int1 & int2 -> int3: その公害等調整委員会はでかい; [assump1] & int3 -> int4: もし仮にその公害等調整委員会が痒いとすればそれはでかい; int4 -> hypothesis;
もし「その公害等調整委員会は痒い」ということは正しいとすると聞き込む
fact19 -> hypothesis;
$facts$ = fact1: 痒いものは聞き込む fact2: 仮にその公害等調整委員会は痒いならば「押し迫るしかつそれは奮い起こす」ということは間違いである fact3: 「仮に読図であるなら順応し易い」物はある fact4: もし仮にその公害等調整委員会は主応力でないとすれば「痒い」ということは成り立つ fact5: もし仮にその公害等調整委員会は痒いなら「それは押し迫る一方で奮い起こさない」ということは成り立たない fact6: 「「その公害等調整委員会は押し迫るしそれは奮い起こす」ということは偽だ」ということは本当だ fact7: 「なにがしかのものは押し迫るけど奮い起こさない」ということは事実と異なればそれはでかい fact8: もしもその公害等調整委員会が奮い起こせばそれはでかい fact9: 「なにかは美濃攻めだ一方でそれは寝苦しくない」ということは事実と異なるとすると羽織る fact10: その公害等調整委員会は疲労解消だ fact11: 何らかの物は奮い起こすとしたら「それはでかい」ということは成り立つ fact12: 仮にその不完全情報はか細いとしたら「疲れ易いししかもそれは寂れるということはない」ということは間違っている fact13: 仮に「何らかのものは羽織るが熱っぽいということはない」ということは偽ならば飛行機代だ fact14: その四カップは押し迫る fact15: その公害等調整委員会は日本らしい fact16: 「その公害等調整委員会はがたがたするけどそれは押し迫るということはない」ということは確かでない fact17: 仮に「その公害等調整委員会は妊孕能保存だがしかしイメージキャラクターでない」ということは間違いであるならそれはでかい fact18: もし仮にその公害等調整委員会が駆除しないとしたらそれはでかい ; $hypothesis$ = 「もし仮に「痒い」ということは確かならでかい」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その公害等調整委員会は痒い; fact5 & assump1 -> int1: 「その公害等調整委員会は押し迫る一方で奮い起こさない」ということは成り立たない; fact7 -> int2: もし仮に「その公害等調整委員会は押し迫るけどそれは奮い起こさない」ということは誤りであるならそれはでかい; int1 & int2 -> int3: その公害等調整委員会はでかい; [assump1] & int3 -> int4: もし仮にその公害等調整委員会が痒いとすればそれはでかい; int4 -> hypothesis; __PROVED__
事実1: 痒いものは聞き込む
事実2: 仮にその公害等調整委員会は痒いならば「押し迫るしかつそれは奮い起こす」ということは間違いである
事実3: 「仮に読図であるなら順応し易い」物はある
事実4: もし仮にその公害等調整委員会は主応力でないとすれば「痒い」ということは成り立つ
事実5: もし仮にその公害等調整委員会は痒いなら「それは押し迫る一方で奮い起こさない」ということは成り立たない
事実6: 「「その公害等調整委員会は押し迫るしそれは奮い起こす」ということは偽だ」ということは本当だ
事実7: 「なにがしかのものは押し迫るけど奮い起こさない」ということは事実と異なればそれはでかい
事実8: もしもその公害等調整委員会が奮い起こせばそれはでかい
事実9: 「なにかは美濃攻めだ一方でそれは寝苦しくない」ということは事実と異なるとすると羽織る
事実10: その公害等調整委員会は疲労解消だ
事実11: 何らかの物は奮い起こすとしたら「それはでかい」ということは成り立つ
事実12: 仮にその不完全情報はか細いとしたら「疲れ易いししかもそれは寂れるということはない」ということは間違っている
事実13: 仮に「何らかのものは羽織るが熱っぽいということはない」ということは偽ならば飛行機代だ
事実14: その四カップは押し迫る
事実15: その公害等調整委員会は日本らしい
事実16: 「その公害等調整委員会はがたがたするけどそれは押し迫るということはない」ということは確かでない
事実17: 仮に「その公害等調整委員会は妊孕能保存だがしかしイメージキャラクターでない」ということは間違いであるならそれはでかい
事実18: もし仮にその公害等調整委員会が駆除しないとしたらそれはでかい

仮説: 「もし仮に「痒い」ということは確かならでかい」物はある
1. 仮定1: 以下のように仮定する。その公害等調整委員会は痒い
2. 事実5と仮定1から、推論1: "「その公害等調整委員会は押し迫る一方で奮い起こさない」ということは成り立たない"が導かれる
3. 事実7から、推論2: "もし仮に「その公害等調整委員会は押し迫るけどそれは奮い起こさない」ということは誤りであるならそれはでかい"が導かれる
4. 推論1と推論2から、推論3: "その公害等調整委員会はでかい"が導かれる
5. [仮定1]と推論3から、推論4: "もし仮にその公害等調整委員会が痒いとすればそれはでかい"が導かれる
6. 推論4から、仮説が導かれる

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