Dave is white. Dave is young. Erin is blue. Erin is kind. Fiona is green. Fiona is young. Gary is kind. If something is green then it is cold. If something is cold then it is blue. All young, cold things are kind. If something is kind then it is cold. If something is kind and cold then it is young. If something is cold then it is green. If Fiona is kind then Fiona is green. All young things are green.
Gary is not quiet.
@0: Dave is white.[(triple1)] Dave is young.[(triple2)] Erin is blue.[(triple3 OR ((((triple4) -> rule4)) -> rule2))] Erin is kind.[(triple4)] Fiona is green.[(triple5 OR ((triple6) -> rule8))] Fiona is young.[(triple6)] Gary is kind.[(triple7)] @1: Dave is green.[(((triple2) -> rule8))] Erin is cold.[(((triple4) -> rule4))] Fiona is cold.[(((triple5) -> rule1) OR ((((triple6) -> rule8)) -> rule1))] Gary is cold.[(((triple7) -> rule4))] @2: Dave is cold.[(((((triple2) -> rule8)) -> rule1))] Erin is green.[(((((triple4) -> rule4)) -> rule6) OR ((((triple4 ((triple4) -> rule4)) -> rule5)) -> rule8))] Erin is young.[(((triple4 ((triple4) -> rule4)) -> rule5))] Fiona is blue.[(((((triple5) -> rule1)) -> rule2) OR ((((((triple6) -> rule8)) -> rule1)) -> rule2))] Fiona is kind.[(((triple6 ((triple5) -> rule1)) -> rule3) OR ((triple6 ((((triple6) -> rule8)) -> rule1)) -> rule3))] Gary is blue.[(((((triple7) -> rule4)) -> rule2))] Gary is green.[(((((triple7) -> rule4)) -> rule6) OR ((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule8))] Gary is young.[(((triple7 ((triple7) -> rule4)) -> rule5))] @3: Dave is blue.[(((((((triple2) -> rule8)) -> rule1)) -> rule2))] Dave is kind.[(((triple2 ((((triple2) -> rule8)) -> rule1)) -> rule3))]