あの赤みは平たいということはない一方でそれは把握し難い
fact1: 仮にあの弁当作りが文書中だとしたらこの田虫は文書中でないししかも薬種問屋でない fact2: この田虫は眼精疲労である fact3: あの赤みは把握し難い fact4: 仮に「この夢見は心配性だけれどえぐくない」ということは誤りならばそのふくれっ面はしょぼくない fact5: この田虫が文書中でなくて薬種問屋でないとするとあの役人連中は辞退する fact6: この田虫は間違い無い fact7: もしあの弁当作りが文書中だとしたらこの田虫は文書中でない fact8: もし「心配性だということはない」物はあれば「この夢見は心配性だがえぐくない」ということは間違っている fact9: もし仮にあの役人連中が黒しならあの赤みは把握し難い fact10: もし仮にそのふくれっ面はしょぼくないとしたら「あの他諸国はしょぼくない」ということは本当だ fact11: あの弁当作りは間違い無い fact12: もしもあの弁当作りが文書中でないならばこの温度罅割れ指数は間違い無い fact13: 仮にとあるものは文書中でないとしたら「それは平たくないしおまけにそれは把握し難い」ということは本当だということはない fact14: この田虫は文書中でない fact15: もしあの他諸国がしょぼくないならそれは御し易くてまた把握し難くない fact16: もしも「なんらかのものは文書中であるしまた辞退する」ということは誤っていれば文書中でない fact17: あの役人連中が文書中であるならばあの弁当作りは文書中でないしさらに黒しない fact18: もし仮にあの役人連中が辞退するとしたらそれは眼精疲労だ fact19: あの弁当作りは文書中であるし間違い無い fact20: 仮にこの田虫が文書中であるけどそれが薬種問屋でないとするとあの役人連中は辞退する fact21: 「「心配性でない」ということは確かな」ものはある fact22: 「ある物は薬種問屋である」ということは成り立つとすればそれは文書中だということはない fact23: 眼精疲労は黒し fact24: もしあの役人連中が黒しとしたらあの赤みは平たくないが把握し難い fact25: 「あの赤みは平たい」ということは本当であるとすると「あの役人連中は黒しが眼精疲労でない」ということは間違いである
fact19 -> int1: あの弁当作りは文書中である; int1 & fact1 -> int2: この田虫は文書中でないしさらに薬種問屋だということはない; int2 & fact5 -> int3: あの役人連中は辞退する; int3 & fact18 -> int4: あの役人連中は眼精疲労だ; fact23 -> int5: もしもあの役人連中が眼精疲労だとすればそれは黒し; int4 & int5 -> int6: あの役人連中は黒し; int6 & fact24 -> hypothesis;
「あの赤みは平たくないがしかし把握し難い」ということは成り立たない
fact26 -> int7: もしもあの赤みは文書中でないとすると「それは平たくないけれど把握し難い」ということは成り立たない;
$facts$ = fact1: 仮にあの弁当作りが文書中だとしたらこの田虫は文書中でないししかも薬種問屋でない fact2: この田虫は眼精疲労である fact3: あの赤みは把握し難い fact4: 仮に「この夢見は心配性だけれどえぐくない」ということは誤りならばそのふくれっ面はしょぼくない fact5: この田虫が文書中でなくて薬種問屋でないとするとあの役人連中は辞退する fact6: この田虫は間違い無い fact7: もしあの弁当作りが文書中だとしたらこの田虫は文書中でない fact8: もし「心配性だということはない」物はあれば「この夢見は心配性だがえぐくない」ということは間違っている fact9: もし仮にあの役人連中が黒しならあの赤みは把握し難い fact10: もし仮にそのふくれっ面はしょぼくないとしたら「あの他諸国はしょぼくない」ということは本当だ fact11: あの弁当作りは間違い無い fact12: もしもあの弁当作りが文書中でないならばこの温度罅割れ指数は間違い無い fact13: 仮にとあるものは文書中でないとしたら「それは平たくないしおまけにそれは把握し難い」ということは本当だということはない fact14: この田虫は文書中でない fact15: もしあの他諸国がしょぼくないならそれは御し易くてまた把握し難くない fact16: もしも「なんらかのものは文書中であるしまた辞退する」ということは誤っていれば文書中でない fact17: あの役人連中が文書中であるならばあの弁当作りは文書中でないしさらに黒しない fact18: もし仮にあの役人連中が辞退するとしたらそれは眼精疲労だ fact19: あの弁当作りは文書中であるし間違い無い fact20: 仮にこの田虫が文書中であるけどそれが薬種問屋でないとするとあの役人連中は辞退する fact21: 「「心配性でない」ということは確かな」ものはある fact22: 「ある物は薬種問屋である」ということは成り立つとすればそれは文書中だということはない fact23: 眼精疲労は黒し fact24: もしあの役人連中が黒しとしたらあの赤みは平たくないが把握し難い fact25: 「あの赤みは平たい」ということは本当であるとすると「あの役人連中は黒しが眼精疲労でない」ということは間違いである ; $hypothesis$ = あの赤みは平たいということはない一方でそれは把握し難い ; $proof$ = 
fact19 -> int1: あの弁当作りは文書中である; int1 & fact1 -> int2: この田虫は文書中でないしさらに薬種問屋だということはない; int2 & fact5 -> int3: あの役人連中は辞退する; int3 & fact18 -> int4: あの役人連中は眼精疲労だ; fact23 -> int5: もしもあの役人連中が眼精疲労だとすればそれは黒し; int4 & int5 -> int6: あの役人連中は黒し; int6 & fact24 -> 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: 眼精疲労は黒し
事実24: もしあの役人連中が黒しとしたらあの赤みは平たくないが把握し難い
事実25: 「あの赤みは平たい」ということは本当であるとすると「あの役人連中は黒しが眼精疲労でない」ということは間違いである

仮説: あの赤みは平たいということはない一方でそれは把握し難い
1. 事実19から、推論1: "あの弁当作りは文書中である"が導かれる
2. 推論1と事実1から、推論2: "この田虫は文書中でないしさらに薬種問屋だということはない"が導かれる
3. 推論2と事実5から、推論3: "あの役人連中は辞退する"が導かれる
4. 推論3と事実18から、推論4: "あの役人連中は眼精疲労だ"が導かれる
5. 事実23から、推論5: "もしもあの役人連中が眼精疲労だとすればそれは黒し"が導かれる
6. 推論4と推論5から、推論6: "あの役人連中は黒し"が導かれる
7. 推論6と事実24から、仮説が導かれる

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