Charlie is kind. Erin is cold. Fiona is rough. Gary is rough. If Gary is red then Gary is rough. All kind things are smart. Kind things are smart. Round things are cold. If Erin is blue and Erin is cold then Erin is round. Red things are cold. All blue, round things are cold. All cold things are rough.
Gary is rough.
@0: Charlie is kind.[(triple1)] Erin is cold.[(triple2)] Fiona is rough.[(triple3)] Gary is rough.[(triple4)] @1: Charlie is smart.[(((triple1) -> rule2) OR ((triple1) -> rule3))] Erin is rough.[(((triple2) -> rule8))]