Charlie is round. Gary is cold. Gary is red. Gary is smart. Gary is young. Harry is smart. Harry is young. If something is young then it is smart. If Harry is young then Harry is red. If something is red then it is young. Round things are kind. All big things are cold. If something is kind then it is big. If Gary is cold then Gary is red. All kind things are smart.
Gary is not kind.
@0: Charlie is round.[(triple1)] Gary is cold.[(triple2)] Gary is red.[(triple3 OR ((triple2) -> rule7))] Gary is smart.[(triple4 OR ((triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule7)) -> rule3)) -> rule1))] Gary is young.[(triple5 OR ((triple3) -> rule3) OR ((((triple2) -> rule7)) -> rule3))] Harry is smart.[(triple6 OR ((triple7) -> rule1))] Harry is young.[(triple7)] @1: Charlie is kind.[(((triple1) -> rule4))] Harry is red.[(((triple7) -> rule2))] @2: Charlie is big.[(((((triple1) -> rule4)) -> rule6))] Charlie is smart.[(((((triple1) -> rule4)) -> rule8))] @3: Charlie is cold.[(((((((triple1) -> rule4)) -> rule6)) -> rule5))]