Anne is blue. Anne is smart. Anne is young. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. Gary is nice. Gary is smart. Gary is young. If Fiona is red then Fiona is blue.
Gary is not young.
@0: Anne is blue.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Fiona is blue.[(triple4 OR ((triple7) -> rule1))] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Gary is nice.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)]