Fiona is blue. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. Gary is blue. Gary is cold. Gary is green. Gary is red. Gary is rough. Gary is white. Gary is young. Young things are rough. Red things are cold. White, rough things are red.
Gary is not rough.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2 OR ((triple4) -> rule2) OR ((((triple6 triple5) -> rule3)) -> rule2) OR ((((triple6 ((triple7) -> rule1)) -> rule3)) -> rule2))] Fiona is green.[(triple3)] Fiona is red.[(triple4 OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple7) -> rule1)) -> rule3))] Fiona is rough.[(triple5 OR ((triple7) -> rule1))] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9 OR ((triple11) -> rule2) OR ((((triple13 triple12) -> rule3)) -> rule2) OR ((((triple13 ((triple14) -> rule1)) -> rule3)) -> rule2))] Gary is green.[(triple10)] Gary is red.[(triple11 OR ((triple13 triple12) -> rule3) OR ((triple13 ((triple14) -> rule1)) -> rule3))] Gary is rough.[(triple12 OR ((triple14) -> rule1))] Gary is white.[(triple13)] Gary is young.[(triple14)]