その美濃攻めは破けない
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: もしも何かは忘れ易いし加えて骨肉腫ならそれはチェックアウトしない
fact9 -> int1: あのエイヴリ・キンテルは消化し難い; int1 & fact2 -> int2: あのエイヴリ・キンテルは骨肉腫である; int2 & fact14 -> int3: あのエイヴリ・キンテルは忘れ易くてかつ骨肉腫だ; fact26 -> int4: もしあのエイヴリ・キンテルが忘れ易くてまたそれが骨肉腫だとすればそれはチェックアウトしない; int3 & int4 -> int5: あのエイヴリ・キンテルはチェックアウトしない; int5 & fact21 -> int6: その美濃攻めは混同し易くてかつチェックアウトする; int6 & fact20 -> int7: 「その美濃攻めは追っ払わない」ということは成り立つ; int7 & fact7 -> int8: その美濃攻めは次子だ一方で憚るない; int8 & fact16 -> hypothesis;
この訴状は人懐っこいし憚る
fact27 -> int9: あのエイヴリ・キンテルは人懐っこい;
$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: もしも何かは忘れ易いし加えて骨肉腫ならそれはチェックアウトしない ; $hypothesis$ = その美濃攻めは破けない ; $proof$ = 
fact9 -> int1: あのエイヴリ・キンテルは消化し難い; int1 & fact2 -> int2: あのエイヴリ・キンテルは骨肉腫である; int2 & fact14 -> int3: あのエイヴリ・キンテルは忘れ易くてかつ骨肉腫だ; fact26 -> int4: もしあのエイヴリ・キンテルが忘れ易くてまたそれが骨肉腫だとすればそれはチェックアウトしない; int3 & int4 -> int5: あのエイヴリ・キンテルはチェックアウトしない; int5 & fact21 -> int6: その美濃攻めは混同し易くてかつチェックアウトする; int6 & fact20 -> int7: 「その美濃攻めは追っ払わない」ということは成り立つ; int7 & fact7 -> int8: その美濃攻めは次子だ一方で憚るない; int8 & fact16 -> 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: もしも何かは忘れ易いし加えて骨肉腫ならそれはチェックアウトしない

仮説: その美濃攻めは破けない
1. 事実9から、推論1: "あのエイヴリ・キンテルは消化し難い"が導かれる
2. 推論1と事実2から、推論2: "あのエイヴリ・キンテルは骨肉腫である"が導かれる
3. 推論2と事実14から、推論3: "あのエイヴリ・キンテルは忘れ易くてかつ骨肉腫だ"が導かれる
4. 事実26から、推論4: "もしあのエイヴリ・キンテルが忘れ易くてまたそれが骨肉腫だとすればそれはチェックアウトしない"が導かれる
5. 推論3と推論4から、推論5: "あのエイヴリ・キンテルはチェックアウトしない"が導かれる
6. 推論5と事実21から、推論6: "その美濃攻めは混同し易くてかつチェックアウトする"が導かれる
7. 推論6と事実20から、推論7: "「その美濃攻めは追っ払わない」ということは成り立つ"が導かれる
8. 推論7と事実7から、推論8: "その美濃攻めは次子だ一方で憚るない"が導かれる
9. 推論8と事実16から、仮説が導かれる

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