Anne is blue. Anne is cold. Anne is red. Erin is not furry. Erin is young. Fiona is not cold. Fiona is kind. Gary is furry. Gary is kind. Gary is young. All kind things are blue. Round things are blue. If something is round and not young then it is blue. If something is red then it is blue. If something is round and young then it is not furry. If Anne is round and Anne is not cold then Anne is blue.
Erin is furry.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule4))] Anne is cold.[(triple2)] Anne is red.[(triple3)] Erin is not furry.[(triple4)] Erin is young.[(triple5)] Fiona is kind.[(triple7)] Fiona is not cold.[(triple6)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is young.[(triple10)] @1: Fiona is blue.[(((triple7) -> rule1))] Gary is blue.[(((triple9) -> rule1))]