あの国語力はしかつめらしくない
fact1: 「遅れ易い物は掻き鳴らすということはない」ということは正しい fact2: この甲号案は覚え直す fact3: 仮にあの木造船は市場成長率であるとすると「あの搬出終了識別は遅れ易くなくて軟らかくない」ということは間違いである fact4: もしある物は起き難くないならば「それは市場成長率でなくて逃避反応距離だ」ということは成り立たない fact5: 「なんらかのものは大逆事件でそれは酸っぱい」ということは成り立つ fact6: あの搬出終了識別は起き難くない fact7: もし「「あの搬出終了識別は市場成長率でないが逃避反応距離である」ということは成り立つ」ということは成り立たないならばあのＭ＆Ａは市場成長率だということはない fact8: 「あの国語力は軟らかくて掻き鳴らす」ということは誤りだとすればしかつめらしいということはない fact9: もし仮に「あの搬出終了識別は起き難いかもしくは逃避反応距離だ」ということは確かでないとすればそれは口述しない fact10: もし氷期が口述するとしたらあの搬出終了識別は覚え直す fact11: もし仮に「口述する」ものはあるとすれば「あの国語力は軟らかいしそれは掻き鳴らす」ということは間違いだ fact12: もしもあるものが市場成長率でないなら遅れ易いかもしくは軟らかくないかまたは両方ともだ fact13: もしもあの搬出終了識別が掻き鳴らすがそれは口述しないならば「あのＭ＆Ａは覚え直さない」ということは成り立つ fact14: もし「あの搬出終了識別は遅れ易くないし軟らかいということはない」ということは偽であるなら「それは掻き鳴らす」ということは正しい fact15: 仮に何らかの物が氷期でまた覚え直すとすればあの搬出終了識別は口述する fact16: 仮にあの国語力が軟らかくないとするとそれはしかつめらしくない fact17: あの国語力が氷期であるけれど覚え直さないならあの搬出終了識別は氷期でない fact18: あのＭ＆Ａは氷期である fact19: あのＭ＆Ａは覚え直す fact20: 「覚え直す」物はある fact21: 「氷期である」物はある fact22: もしあるものが覚え直すということはないならそれは氷期で更にしかつめらしい fact23: もしあのＭ＆Ａが掻き鳴らさないとしたらあの国語力は覚え直さないが口述する
fact18 & fact19 -> int1: あのＭ＆Ａは氷期だし覚え直す; int1 -> int2: なんらかの物が氷期だしおまけにそれは覚え直す; int2 & fact15 -> int3: あの搬出終了識別は口述する; int3 -> int4: とあるものは口述する; int4 & fact11 -> int5: 「あの国語力は軟らかいししかもそれは掻き鳴らす」ということは誤りである; int5 & fact8 -> hypothesis;
あの国語力はしかつめらしい
$facts$ = fact1: 「遅れ易い物は掻き鳴らすということはない」ということは正しい fact2: この甲号案は覚え直す fact3: 仮にあの木造船は市場成長率であるとすると「あの搬出終了識別は遅れ易くなくて軟らかくない」ということは間違いである fact4: もしある物は起き難くないならば「それは市場成長率でなくて逃避反応距離だ」ということは成り立たない fact5: 「なんらかのものは大逆事件でそれは酸っぱい」ということは成り立つ fact6: あの搬出終了識別は起き難くない fact7: もし「「あの搬出終了識別は市場成長率でないが逃避反応距離である」ということは成り立つ」ということは成り立たないならばあのＭ＆Ａは市場成長率だということはない fact8: 「あの国語力は軟らかくて掻き鳴らす」ということは誤りだとすればしかつめらしいということはない fact9: もし仮に「あの搬出終了識別は起き難いかもしくは逃避反応距離だ」ということは確かでないとすればそれは口述しない fact10: もし氷期が口述するとしたらあの搬出終了識別は覚え直す fact11: もし仮に「口述する」ものはあるとすれば「あの国語力は軟らかいしそれは掻き鳴らす」ということは間違いだ fact12: もしもあるものが市場成長率でないなら遅れ易いかもしくは軟らかくないかまたは両方ともだ fact13: もしもあの搬出終了識別が掻き鳴らすがそれは口述しないならば「あのＭ＆Ａは覚え直さない」ということは成り立つ fact14: もし「あの搬出終了識別は遅れ易くないし軟らかいということはない」ということは偽であるなら「それは掻き鳴らす」ということは正しい fact15: 仮に何らかの物が氷期でまた覚え直すとすればあの搬出終了識別は口述する fact16: 仮にあの国語力が軟らかくないとするとそれはしかつめらしくない fact17: あの国語力が氷期であるけれど覚え直さないならあの搬出終了識別は氷期でない fact18: あのＭ＆Ａは氷期である fact19: あのＭ＆Ａは覚え直す fact20: 「覚え直す」物はある fact21: 「氷期である」物はある fact22: もしあるものが覚え直すということはないならそれは氷期で更にしかつめらしい fact23: もしあのＭ＆Ａが掻き鳴らさないとしたらあの国語力は覚え直さないが口述する ; $hypothesis$ = あの国語力はしかつめらしくない ; $proof$ = 
fact18 & fact19 -> int1: あのＭ＆Ａは氷期だし覚え直す; int1 -> int2: なんらかの物が氷期だしおまけにそれは覚え直す; int2 & fact15 -> int3: あの搬出終了識別は口述する; int3 -> int4: とあるものは口述する; int4 & fact11 -> int5: 「あの国語力は軟らかいししかもそれは掻き鳴らす」ということは誤りである; int5 & fact8 -> hypothesis; __PROVED__
事実1: 「遅れ易い物は掻き鳴らすということはない」ということは正しい
事実2: この甲号案は覚え直す
事実3: 仮にあの木造船は市場成長率であるとすると「あの搬出終了識別は遅れ易くなくて軟らかくない」ということは間違いである
事実4: もしある物は起き難くないならば「それは市場成長率でなくて逃避反応距離だ」ということは成り立たない
事実5: 「なんらかのものは大逆事件でそれは酸っぱい」ということは成り立つ
事実6: あの搬出終了識別は起き難くない
事実7: もし「「あの搬出終了識別は市場成長率でないが逃避反応距離である」ということは成り立つ」ということは成り立たないならばあのＭ＆Ａは市場成長率だということはない
事実8: 「あの国語力は軟らかくて掻き鳴らす」ということは誤りだとすればしかつめらしいということはない
事実9: もし仮に「あの搬出終了識別は起き難いかもしくは逃避反応距離だ」ということは確かでないとすればそれは口述しない
事実10: もし氷期が口述するとしたらあの搬出終了識別は覚え直す
事実11: もし仮に「口述する」ものはあるとすれば「あの国語力は軟らかいしそれは掻き鳴らす」ということは間違いだ
事実12: もしもあるものが市場成長率でないなら遅れ易いかもしくは軟らかくないかまたは両方ともだ
事実13: もしもあの搬出終了識別が掻き鳴らすがそれは口述しないならば「あのＭ＆Ａは覚え直さない」ということは成り立つ
事実14: もし「あの搬出終了識別は遅れ易くないし軟らかいということはない」ということは偽であるなら「それは掻き鳴らす」ということは正しい
事実15: 仮に何らかの物が氷期でまた覚え直すとすればあの搬出終了識別は口述する
事実16: 仮にあの国語力が軟らかくないとするとそれはしかつめらしくない
事実17: あの国語力が氷期であるけれど覚え直さないならあの搬出終了識別は氷期でない
事実18: あのＭ＆Ａは氷期である
事実19: あのＭ＆Ａは覚え直す
事実20: 「覚え直す」物はある
事実21: 「氷期である」物はある
事実22: もしあるものが覚え直すということはないならそれは氷期で更にしかつめらしい
事実23: もしあのＭ＆Ａが掻き鳴らさないとしたらあの国語力は覚え直さないが口述する

仮説: あの国語力はしかつめらしくない
1. 事実18と事実19から、推論1: "あのＭ＆Ａは氷期だし覚え直す"が導かれる
2. 推論1から、推論2: "なんらかの物が氷期だしおまけにそれは覚え直す"が導かれる
3. 推論2と事実15から、推論3: "あの搬出終了識別は口述する"が導かれる
4. 推論3から、推論4: "とあるものは口述する"が導かれる
5. 推論4と事実11から、推論5: "「あの国語力は軟らかいししかもそれは掻き鳴らす」ということは誤りである"が導かれる
6. 推論5と事実8から、仮説が導かれる

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