「「もし春型でないとすると「アイウエオでないがしかし重い」ということは本当でない」物はある」ということは間違っている
fact1: 「もしも春型でないならばアイウエオでなくてかつ重い」ものはある fact2: もしも何らかのものは春型でないなら「それはアイウエオでしかもそれは重い」ということは偽である fact3: もしもなにがしかの物は春型でないとすると「アイウエオであるということはない一方で重い」ということは偽だ fact4: その小一は春型でないなら「アイウエオでない一方で重い」ということは成り立つ fact5: 「春型であるならば「「アイウエオでないけれど重い」ということは真実だ」ということは嘘な」物はある fact6: もしもその小一は春型だとすれば「それはアイウエオでないし加えて重い」ということは成り立たない fact7: もしあるものは春型であるならば「アイウエオでないし重い」ということは誤りである
fact3 -> int1: 仮にその小一は春型でないとすれば「それはアイウエオでないけれど重い」ということは誤りだ; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もしも春型でないならばアイウエオでなくてかつ重い」ものはある fact2: もしも何らかのものは春型でないなら「それはアイウエオでしかもそれは重い」ということは偽である fact3: もしもなにがしかの物は春型でないとすると「アイウエオであるということはない一方で重い」ということは偽だ fact4: その小一は春型でないなら「アイウエオでない一方で重い」ということは成り立つ fact5: 「春型であるならば「「アイウエオでないけれど重い」ということは真実だ」ということは嘘な」物はある fact6: もしもその小一は春型だとすれば「それはアイウエオでないし加えて重い」ということは成り立たない fact7: もしあるものは春型であるならば「アイウエオでないし重い」ということは誤りである ; $hypothesis$ = 「「もし春型でないとすると「アイウエオでないがしかし重い」ということは本当でない」物はある」ということは間違っている ; $proof$ = 
fact3 -> int1: 仮にその小一は春型でないとすれば「それはアイウエオでないけれど重い」ということは誤りだ; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも春型でないならばアイウエオでなくてかつ重い」ものはある
事実2: もしも何らかのものは春型でないなら「それはアイウエオでしかもそれは重い」ということは偽である
事実3: もしもなにがしかの物は春型でないとすると「アイウエオであるということはない一方で重い」ということは偽だ
事実4: その小一は春型でないなら「アイウエオでない一方で重い」ということは成り立つ
事実5: 「春型であるならば「「アイウエオでないけれど重い」ということは真実だ」ということは嘘な」物はある
事実6: もしもその小一は春型だとすれば「それはアイウエオでないし加えて重い」ということは成り立たない
事実7: もしあるものは春型であるならば「アイウエオでないし重い」ということは誤りである

仮説: 「「もし春型でないとすると「アイウエオでないがしかし重い」ということは本当でない」物はある」ということは間違っている
1. 事実3から、推論1: "仮にその小一は春型でないとすれば「それはアイウエオでないけれど重い」ということは誤りだ"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。