Charlie is round. Erin is young. Gary is nice. Gary is smart. Harry is big. Harry is cold. Harry is nice. All big things are green. If something is green then it is smart. If Gary is green and Gary is cold then Gary is nice. Round, nice things are smart. All green, big things are round. If something is smart and young then it is round.
Gary is not smart.
@0: Charlie is round.[(triple1)] Erin is young.[(triple2)] Gary is nice.[(triple3)] Gary is smart.[(triple4)] Harry is big.[(triple5)] Harry is cold.[(triple6)] Harry is nice.[(triple7)] @1: Harry is green.[(((triple5) -> rule1))] @2: Harry is round.[(((((triple5) -> rule1) triple5) -> rule5))] Harry is smart.[(((((triple5) -> rule1)) -> rule2) OR ((((((triple5) -> rule1) triple5) -> rule5) triple7) -> rule4))]