Anne is blue. Anne is cold. Anne is green. Fiona is kind. Fiona is quiet. Fiona is red. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is red. If something is blue then it is red. All young, green things are cold. If something is green and red then it is cold. Kind things are cold. If Gary is green then Gary is red. Red things are quiet.
Anne is not young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple3 ((triple1) -> rule1)) -> rule3))] Anne is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5 OR ((triple6) -> rule6))] Fiona is red.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8 OR ((triple10) -> rule4) OR ((triple9 triple12) -> rule3) OR ((triple9 ((triple7) -> rule1)) -> rule3) OR ((triple9 ((triple9) -> rule5)) -> rule3))] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11 OR ((triple12) -> rule6) OR ((((triple7) -> rule1)) -> rule6) OR ((((triple9) -> rule5)) -> rule6))] Gary is red.[(triple12 OR ((triple7) -> rule1) OR ((triple9) -> rule5))] @1: Anne is red.[(((triple1) -> rule1))] Fiona is cold.[(((triple4) -> rule4))] @2: Anne is quiet.[(((((triple1) -> rule1)) -> rule6))]