もしあの古代人が連想し易くないとすればあのミュージアムは食べ易いかもしくは御若くない
fact1: あのミュージアムは御若い fact2: 「その仏頂面は凍結保存するかもしくは食べ易いかもしくはどちらもである」ということは正しい fact3: もしあのミュージアムが連想し易くないならばあの古代人は食べ易いかまたは殺人未遂罪であるかあるいはどちらもだ fact4: 「連想し易いということはない」ものがあるとすればあのミュージアムは提言するということはない fact5: 連想し易いものはある fact6: 「「あの古代人は殺人未遂罪であるかそれは連想し易いかあるいはどちらもである」ということは正しくないとすればあの古代人は御若い」ということは成り立つ fact7: もしあの古代人は殺人未遂罪でないとすると連想し易くないし提言しない fact8: あのミュージアムは提言しない fact9: 仮になにかは連想し易くないとすると「あのミュージアムは提言するかあるいは殺人未遂罪であるかどちらもだ」ということは間違いだ fact10: 「あのミュージアムは食べ易いかあるいはそれは御若いかまたはどちらもだ」ということは偽でない fact11: 「あの二十代前半は評価するかまたは御若い」ということは嘘である fact12: 「あのミュージアムは提言するかもしくは殺人未遂罪だ」ということは間違いだとしたらそれは御若い fact13: 「あの古代人は目敏いか不足し易い」ということは間違いだ fact14: 仮にあの古代人が連想し易いとしたらあのミュージアムは食べ易いかまたは御若くないかもしくはどちらもだ fact15: 仮に「あのミュージアムは提言するかもしくは殺人未遂罪であるか両方だ」ということは成り立たないなら「「それは御若い」ということは事実だ」ということは事実と異なる fact16: 仮に「食べ易いということはない」物があるならばあのミュージアムは提言しない fact17: もし仮にあの古代人が連想し易くないならあのミュージアムは食べ易いかもしくは御若いかもしくは両方ともだ fact18: あの古代人は御若くない
void -> assump1: 以下のように仮定する。あの古代人は連想し易くない; assump1 -> int1: 「「連想し易くない」ということは確かである」物はある; int1 & fact9 -> int2: 「あのミュージアムは提言するかあるいはそれは殺人未遂罪であるかもしくはどちらもである」ということは偽である; int2 & fact15 -> int3: あのミュージアムは御若くない; int3 -> int4: あのミュージアムは食べ易いかあるいは御若くない; [assump1] & int4 -> hypothesis;
あの古代人は提言しない
$facts$ = fact1: あのミュージアムは御若い fact2: 「その仏頂面は凍結保存するかもしくは食べ易いかもしくはどちらもである」ということは正しい fact3: もしあのミュージアムが連想し易くないならばあの古代人は食べ易いかまたは殺人未遂罪であるかあるいはどちらもだ fact4: 「連想し易いということはない」ものがあるとすればあのミュージアムは提言するということはない fact5: 連想し易いものはある fact6: 「「あの古代人は殺人未遂罪であるかそれは連想し易いかあるいはどちらもである」ということは正しくないとすればあの古代人は御若い」ということは成り立つ fact7: もしあの古代人は殺人未遂罪でないとすると連想し易くないし提言しない fact8: あのミュージアムは提言しない fact9: 仮になにかは連想し易くないとすると「あのミュージアムは提言するかあるいは殺人未遂罪であるかどちらもだ」ということは間違いだ fact10: 「あのミュージアムは食べ易いかあるいはそれは御若いかまたはどちらもだ」ということは偽でない fact11: 「あの二十代前半は評価するかまたは御若い」ということは嘘である fact12: 「あのミュージアムは提言するかもしくは殺人未遂罪だ」ということは間違いだとしたらそれは御若い fact13: 「あの古代人は目敏いか不足し易い」ということは間違いだ fact14: 仮にあの古代人が連想し易いとしたらあのミュージアムは食べ易いかまたは御若くないかもしくはどちらもだ fact15: 仮に「あのミュージアムは提言するかもしくは殺人未遂罪であるか両方だ」ということは成り立たないなら「「それは御若い」ということは事実だ」ということは事実と異なる fact16: 仮に「食べ易いということはない」物があるならばあのミュージアムは提言しない fact17: もし仮にあの古代人が連想し易くないならあのミュージアムは食べ易いかもしくは御若いかもしくは両方ともだ fact18: あの古代人は御若くない ; $hypothesis$ = もしあの古代人が連想し易くないとすればあのミュージアムは食べ易いかもしくは御若くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの古代人は連想し易くない; assump1 -> int1: 「「連想し易くない」ということは確かである」物はある; int1 & fact9 -> int2: 「あのミュージアムは提言するかあるいはそれは殺人未遂罪であるかもしくはどちらもである」ということは偽である; int2 & fact15 -> int3: あのミュージアムは御若くない; int3 -> int4: あのミュージアムは食べ易いかあるいは御若くない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あのミュージアムは御若い
事実2: 「その仏頂面は凍結保存するかもしくは食べ易いかもしくはどちらもである」ということは正しい
事実3: もしあのミュージアムが連想し易くないならばあの古代人は食べ易いかまたは殺人未遂罪であるかあるいはどちらもだ
事実4: 「連想し易いということはない」ものがあるとすればあのミュージアムは提言するということはない
事実5: 連想し易いものはある
事実6: 「「あの古代人は殺人未遂罪であるかそれは連想し易いかあるいはどちらもである」ということは正しくないとすればあの古代人は御若い」ということは成り立つ
事実7: もしあの古代人は殺人未遂罪でないとすると連想し易くないし提言しない
事実8: あのミュージアムは提言しない
事実9: 仮になにかは連想し易くないとすると「あのミュージアムは提言するかあるいは殺人未遂罪であるかどちらもだ」ということは間違いだ
事実10: 「あのミュージアムは食べ易いかあるいはそれは御若いかまたはどちらもだ」ということは偽でない
事実11: 「あの二十代前半は評価するかまたは御若い」ということは嘘である
事実12: 「あのミュージアムは提言するかもしくは殺人未遂罪だ」ということは間違いだとしたらそれは御若い
事実13: 「あの古代人は目敏いか不足し易い」ということは間違いだ
事実14: 仮にあの古代人が連想し易いとしたらあのミュージアムは食べ易いかまたは御若くないかもしくはどちらもだ
事実15: 仮に「あのミュージアムは提言するかもしくは殺人未遂罪であるか両方だ」ということは成り立たないなら「「それは御若い」ということは事実だ」ということは事実と異なる
事実16: 仮に「食べ易いということはない」物があるならばあのミュージアムは提言しない
事実17: もし仮にあの古代人が連想し易くないならあのミュージアムは食べ易いかもしくは御若いかもしくは両方ともだ
事実18: あの古代人は御若くない

仮説: もしあの古代人が連想し易くないとすればあのミュージアムは食べ易いかもしくは御若くない
1. 仮定1: 以下のように仮定する。あの古代人は連想し易くない
2. 仮定1から、推論1: "「「連想し易くない」ということは確かである」物はある"が導かれる
3. 推論1と事実9から、推論2: "「あのミュージアムは提言するかあるいはそれは殺人未遂罪であるかもしくはどちらもである」ということは偽である"が導かれる
4. 推論2と事実15から、推論3: "あのミュージアムは御若くない"が導かれる
5. 推論3から、推論4: "あのミュージアムは食べ易いかあるいは御若くない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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