あの新教育方針中央講習会は美しない
fact1: その前期末はＡトークであるかもしくはそれは名高くない fact2: 「その前期末はエリアミディアムであるしそれは灰色っぽい」ということは成り立たないとしたら名高くない fact3: 灰色っぽくないか美しないかあるいはどちらもである物は市松模様でない fact4: もしあの新教育方針中央講習会は市松模様でない一方で装具だとすればそれは美しない fact5: 「なんらかのものは愛くるしくて記念す」ということは成り立たないとすれば「装具でない」ということは成り立つ fact6: 「その前期末はエリアミディアムだしおまけに灰色っぽい」ということは誤っている fact7: あの新教育方針中央講習会はエリアミディアムでない fact8: 「その前期末は装具でない」ということは確かであるとするとあの新教育方針中央講習会は市松模様でないけど装具だ fact9: もしもなにかは名高いとすればそれはＡトークである fact10: 仮にある物はＡトークでないか名高くないかあるいは両方ならそれは装具でない
fact2 & fact6 -> int1: その前期末は名高くない; int1 -> int2: その前期末はＡトークでないかまたは名高くないかまたは両方ともだ; fact10 -> int3: もしその前期末はＡトークであるということはないかまたは名高くないかまたは両方ならば装具でない; int2 & int3 -> int4: その前期末は装具でない; int4 & fact8 -> int5: あの新教育方針中央講習会は市松模様でないがそれは装具だ; int5 & fact4 -> hypothesis;
あの新教育方針中央講習会は美し
fact11 -> int6: あの新教育方針中央講習会が名高いとすればそれはＡトークだ;
$facts$ = fact1: その前期末はＡトークであるかもしくはそれは名高くない fact2: 「その前期末はエリアミディアムであるしそれは灰色っぽい」ということは成り立たないとしたら名高くない fact3: 灰色っぽくないか美しないかあるいはどちらもである物は市松模様でない fact4: もしあの新教育方針中央講習会は市松模様でない一方で装具だとすればそれは美しない fact5: 「なんらかのものは愛くるしくて記念す」ということは成り立たないとすれば「装具でない」ということは成り立つ fact6: 「その前期末はエリアミディアムだしおまけに灰色っぽい」ということは誤っている fact7: あの新教育方針中央講習会はエリアミディアムでない fact8: 「その前期末は装具でない」ということは確かであるとするとあの新教育方針中央講習会は市松模様でないけど装具だ fact9: もしもなにかは名高いとすればそれはＡトークである fact10: 仮にある物はＡトークでないか名高くないかあるいは両方ならそれは装具でない ; $hypothesis$ = あの新教育方針中央講習会は美しない ; $proof$ = 
fact2 & fact6 -> int1: その前期末は名高くない; int1 -> int2: その前期末はＡトークでないかまたは名高くないかまたは両方ともだ; fact10 -> int3: もしその前期末はＡトークであるということはないかまたは名高くないかまたは両方ならば装具でない; int2 & int3 -> int4: その前期末は装具でない; int4 & fact8 -> int5: あの新教育方針中央講習会は市松模様でないがそれは装具だ; int5 & fact4 -> hypothesis; __PROVED__
事実1: その前期末はＡトークであるかもしくはそれは名高くない
事実2: 「その前期末はエリアミディアムであるしそれは灰色っぽい」ということは成り立たないとしたら名高くない
事実3: 灰色っぽくないか美しないかあるいはどちらもである物は市松模様でない
事実4: もしあの新教育方針中央講習会は市松模様でない一方で装具だとすればそれは美しない
事実5: 「なんらかのものは愛くるしくて記念す」ということは成り立たないとすれば「装具でない」ということは成り立つ
事実6: 「その前期末はエリアミディアムだしおまけに灰色っぽい」ということは誤っている
事実7: あの新教育方針中央講習会はエリアミディアムでない
事実8: 「その前期末は装具でない」ということは確かであるとするとあの新教育方針中央講習会は市松模様でないけど装具だ
事実9: もしもなにかは名高いとすればそれはＡトークである
事実10: 仮にある物はＡトークでないか名高くないかあるいは両方ならそれは装具でない

仮説: あの新教育方針中央講習会は美しない
1. 事実2と事実6から、推論1: "その前期末は名高くない"が導かれる
2. 推論1から、推論2: "その前期末はＡトークでないかまたは名高くないかまたは両方ともだ"が導かれる
3. 事実10から、推論3: "もしその前期末はＡトークであるということはないかまたは名高くないかまたは両方ならば装具でない"が導かれる
4. 推論2と推論3から、推論4: "その前期末は装具でない"が導かれる
5. 推論4と事実8から、推論5: "あの新教育方針中央講習会は市松模様でないがそれは装具だ"が導かれる
6. 推論5と事実4から、仮説が導かれる

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