Charlie is not big. Charlie is blue. Charlie is cold. Charlie is not red. Charlie is round. Charlie is smart. Charlie is young. Harry is not big. Harry is blue. Harry is cold. Harry is red. Harry is round. Harry is not smart. Harry is young. If someone is young and big then they are round. All round people are cold. If Harry is not cold and Harry is not big then Harry is red.
Charlie is not big.
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple5) -> rule2))] Charlie is not big.[(triple1)] Charlie is not red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Harry is blue.[(triple9)] Harry is cold.[(triple10 OR ((triple12) -> rule2))] Harry is not big.[(triple8)] Harry is not smart.[(triple13)] Harry is red.[(triple11)] Harry is round.[(triple12)] Harry is young.[(triple14)]