Charlie is red. Charlie is white. Erin is green. Erin is kind. Erin is nice. Erin is white. Fiona is cold. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is round. All red things are cold.
Charlie is kind.
@0: Charlie is red.[(triple1)] Charlie is white.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is white.[(triple6)] Fiona is cold.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is round.[(triple12)] @1: Charlie is cold.[(((triple1) -> rule1))]