その五属は小学生時代でない
fact1: 仮に「その五属は価格であるということはないかおわさないかどちらもだ」ということは間違いでないとするとそれは低成長でない fact2: その五属は価格でないかもしくはそれはおわさないかあるいは両方である fact3: あの鼠河豚は価格でないか同荘でない fact4: もし仮にある物は低成長でないとすると小学生時代でない fact5: このアクサは価格である fact6: もし仮にその五属がおわすということはないとすればそれは低成長でない
fact4 -> int1: 仮にその五属が低成長だということはないならそれは小学生時代でない; fact2 & fact1 -> int2: その五属は低成長でない; int1 & int2 -> hypothesis;
「あの楽屋はおわすということはない」ということは本当である
$facts$ = fact1: 仮に「その五属は価格であるということはないかおわさないかどちらもだ」ということは間違いでないとするとそれは低成長でない fact2: その五属は価格でないかもしくはそれはおわさないかあるいは両方である fact3: あの鼠河豚は価格でないか同荘でない fact4: もし仮にある物は低成長でないとすると小学生時代でない fact5: このアクサは価格である fact6: もし仮にその五属がおわすということはないとすればそれは低成長でない ; $hypothesis$ = その五属は小学生時代でない ; $proof$ = 
fact4 -> int1: 仮にその五属が低成長だということはないならそれは小学生時代でない; fact2 & fact1 -> int2: その五属は低成長でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「その五属は価格であるということはないかおわさないかどちらもだ」ということは間違いでないとするとそれは低成長でない
事実2: その五属は価格でないかもしくはそれはおわさないかあるいは両方である
事実3: あの鼠河豚は価格でないか同荘でない
事実4: もし仮にある物は低成長でないとすると小学生時代でない
事実5: このアクサは価格である
事実6: もし仮にその五属がおわすということはないとすればそれは低成長でない

仮説: その五属は小学生時代でない
1. 事実4から、推論1: "仮にその五属が低成長だということはないならそれは小学生時代でない"が導かれる
2. 事実2と事実1から、推論2: "その五属は低成長でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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