この召し使い達はチェックす
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: その簡単アレンジは収蔵品だ fact26: 「その簡単アレンジは残元本であるけれど合わせ易くない」ということは誤りであるとすれば「そのシェリー風味型抜き参照は残元本でない」ということは成り立つ fact27: あの事前求償は流布する fact28: あの争議が予防・改善しないとするとそれは溶け易くないし恥ずかし
fact11 & fact7 -> int1: あの争議は流布するしおまけに溶け易い; int1 -> int2: 「流布するし溶け易い」物はある; int2 & fact17 -> int3: 「この質点は因る」ということは本当である; fact18 -> int4: この質点は恥ずかし; int3 & int4 -> int5: この質点は因るし恥ずかし; int5 -> int6: 「因るししかも恥ずかし」物はある; int6 & fact13 -> int7: 「このべたは予防・改善しない」ということは成り立つ; fact19 & fact26 -> int8: そのシェリー風味型抜き参照は残元本でない; fact15 & int8 -> int9: このべたは悍ましいし抜刀する; int9 -> int10: このべたは抜刀する; int7 & int10 -> int11: このべたは予防・改善しないがしかし抜刀する; int11 & fact14 -> hypothesis;
「この召し使い達はチェックすらない」ということは正しい
fact29 -> int12: 仮にこの召し使い達は因るなら「溶け易いしさらにそれは流布するということはない」ということは成り立つということはない;
$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: その簡単アレンジは収蔵品だ fact26: 「その簡単アレンジは残元本であるけれど合わせ易くない」ということは誤りであるとすれば「そのシェリー風味型抜き参照は残元本でない」ということは成り立つ fact27: あの事前求償は流布する fact28: あの争議が予防・改善しないとするとそれは溶け易くないし恥ずかし ; $hypothesis$ = この召し使い達はチェックす ; $proof$ = 
fact11 & fact7 -> int1: あの争議は流布するしおまけに溶け易い; int1 -> int2: 「流布するし溶け易い」物はある; int2 & fact17 -> int3: 「この質点は因る」ということは本当である; fact18 -> int4: この質点は恥ずかし; int3 & int4 -> int5: この質点は因るし恥ずかし; int5 -> int6: 「因るししかも恥ずかし」物はある; int6 & fact13 -> int7: 「このべたは予防・改善しない」ということは成り立つ; fact19 & fact26 -> int8: そのシェリー風味型抜き参照は残元本でない; fact15 & int8 -> int9: このべたは悍ましいし抜刀する; int9 -> int10: このべたは抜刀する; int7 & int10 -> int11: このべたは予防・改善しないがしかし抜刀する; int11 & fact14 -> 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: その簡単アレンジは収蔵品だ
事実26: 「その簡単アレンジは残元本であるけれど合わせ易くない」ということは誤りであるとすれば「そのシェリー風味型抜き参照は残元本でない」ということは成り立つ
事実27: あの事前求償は流布する
事実28: あの争議が予防・改善しないとするとそれは溶け易くないし恥ずかし

仮説: この召し使い達はチェックす
1. 事実11と事実7から、推論1: "あの争議は流布するしおまけに溶け易い"が導かれる
2. 推論1から、推論2: "「流布するし溶け易い」物はある"が導かれる
3. 推論2と事実17から、推論3: "「この質点は因る」ということは本当である"が導かれる
4. 事実18から、推論4: "この質点は恥ずかし"が導かれる
5. 推論3と推論4から、推論5: "この質点は因るし恥ずかし"が導かれる
6. 推論5から、推論6: "「因るししかも恥ずかし」物はある"が導かれる
7. 推論6と事実13から、推論7: "「このべたは予防・改善しない」ということは成り立つ"が導かれる
8. 事実19と事実26から、推論8: "そのシェリー風味型抜き参照は残元本でない"が導かれる
9. 事実15と推論8から、推論9: "このべたは悍ましいし抜刀する"が導かれる
10. 推論9から、推論10: "このべたは抜刀する"が導かれる
11. 推論7と推論10から、推論11: "このべたは予防・改善しないがしかし抜刀する"が導かれる
12. 推論11と事実14から、仮説が導かれる

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