Dave is cold. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is young. Fiona is blue. Fiona is cold. Fiona is red. Fiona is round. Fiona is young. Gary is blue. Gary is cold. Gary is green. Gary is young. If someone is round then they are kind.
Gary is not green.
@0: Dave is cold.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is red.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] Gary is blue.[(triple13)] Gary is cold.[(triple14)] Gary is green.[(triple15)] Gary is young.[(triple16)] @1: Fiona is kind.[(((triple11) -> rule1))]