そのカールは校区でない
fact1: もし仮に「「あの二十七日付けは感心しなくて更に覚え難くない」ということは間違っている」ということは成り立つとすると「恨みがましい」ということは成り立つ fact2: 「この好々爺は仮泊しないがしかし易しい」ということは間違いであるならばそのカールは易しい fact3: もしこの好々爺は易しいとすれば「それは物覚えであるか狡賢くないか両方だ」ということは間違っている fact4: 「「当惑するかもしくは自活しないかもしくは両方だ」ということは間違いな」ものはある fact5: もしあの二十七日付けは締めれば「それは感心しないし加えてそれは覚え難くない」ということは間違いだ fact6: 「あの二十七日付けは締める」ということは成り立つ fact7: 「「易しいかもしくは校区だ」ということは誤りである」物はある fact8: もしもとあるものはマッチしないとすると「仮泊しないけど易しい」ということは偽だ fact9: 「もし「「物覚えであるかあるいは狡賢くないかあるいは両方ともである」ということは偽な」物があるならそのカールは校区でない」ということは真実である fact10: この好々爺は易しい fact11: もしも「あの中度は戦争反対である」ということは確かであるならばあの二十七日付けは戦争反対である fact12: もし仮にその賃金財は戦争反対ならば「あの中度は戦争反対である」ということは確かである fact13: 易しい物は校区だ
fact3 & fact10 -> int1: 「この好々爺は物覚えであるかあるいは狡賢くないかあるいは両方ともだ」ということは偽である; int1 -> int2: 「「物覚えであるかあるいは狡賢くないか両方ともだ」ということは嘘である」物はある; int2 & fact9 -> hypothesis;
そのカールは校区だ
fact14 -> int3: 仮にそのカールが易しいなら校区である; fact21 -> int4: 仮にこの好々爺はマッチするということはないなら「仮泊するということはないが易しい」ということは間違いである; fact20 & fact15 -> int5: 「「あの二十七日付けは感心しないししかも覚え難くない」ということは誤りである」ということは本当である; fact18 & int5 -> int6: あの二十七日付けは恨みがましい;
$facts$ = fact1: もし仮に「「あの二十七日付けは感心しなくて更に覚え難くない」ということは間違っている」ということは成り立つとすると「恨みがましい」ということは成り立つ fact2: 「この好々爺は仮泊しないがしかし易しい」ということは間違いであるならばそのカールは易しい fact3: もしこの好々爺は易しいとすれば「それは物覚えであるか狡賢くないか両方だ」ということは間違っている fact4: 「「当惑するかもしくは自活しないかもしくは両方だ」ということは間違いな」ものはある fact5: もしあの二十七日付けは締めれば「それは感心しないし加えてそれは覚え難くない」ということは間違いだ fact6: 「あの二十七日付けは締める」ということは成り立つ fact7: 「「易しいかもしくは校区だ」ということは誤りである」物はある fact8: もしもとあるものはマッチしないとすると「仮泊しないけど易しい」ということは偽だ fact9: 「もし「「物覚えであるかあるいは狡賢くないかあるいは両方ともである」ということは偽な」物があるならそのカールは校区でない」ということは真実である fact10: この好々爺は易しい fact11: もしも「あの中度は戦争反対である」ということは確かであるならばあの二十七日付けは戦争反対である fact12: もし仮にその賃金財は戦争反対ならば「あの中度は戦争反対である」ということは確かである fact13: 易しい物は校区だ ; $hypothesis$ = そのカールは校区でない ; $proof$ = 
fact3 & fact10 -> int1: 「この好々爺は物覚えであるかあるいは狡賢くないかあるいは両方ともだ」ということは偽である; int1 -> int2: 「「物覚えであるかあるいは狡賢くないか両方ともだ」ということは嘘である」物はある; int2 & fact9 -> hypothesis; __PROVED__
事実1: もし仮に「「あの二十七日付けは感心しなくて更に覚え難くない」ということは間違っている」ということは成り立つとすると「恨みがましい」ということは成り立つ
事実2: 「この好々爺は仮泊しないがしかし易しい」ということは間違いであるならばそのカールは易しい
事実3: もしこの好々爺は易しいとすれば「それは物覚えであるか狡賢くないか両方だ」ということは間違っている
事実4: 「「当惑するかもしくは自活しないかもしくは両方だ」ということは間違いな」ものはある
事実5: もしあの二十七日付けは締めれば「それは感心しないし加えてそれは覚え難くない」ということは間違いだ
事実6: 「あの二十七日付けは締める」ということは成り立つ
事実7: 「「易しいかもしくは校区だ」ということは誤りである」物はある
事実8: もしもとあるものはマッチしないとすると「仮泊しないけど易しい」ということは偽だ
事実9: 「もし「「物覚えであるかあるいは狡賢くないかあるいは両方ともである」ということは偽な」物があるならそのカールは校区でない」ということは真実である
事実10: この好々爺は易しい
事実11: もしも「あの中度は戦争反対である」ということは確かであるならばあの二十七日付けは戦争反対である
事実12: もし仮にその賃金財は戦争反対ならば「あの中度は戦争反対である」ということは確かである
事実13: 易しい物は校区だ

仮説: そのカールは校区でない
1. 事実3と事実10から、推論1: "「この好々爺は物覚えであるかあるいは狡賢くないかあるいは両方ともだ」ということは偽である"が導かれる
2. 推論1から、推論2: "「「物覚えであるかあるいは狡賢くないか両方ともだ」ということは嘘である」物はある"が導かれる
3. 推論2と事実9から、仮説が導かれる

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