Anne is green. Erin is white. Fiona is white. Gary is red. If something is green then it is quiet. If Fiona is white then Fiona is green. If something is cold then it is young. If something is quiet then it is green. If Fiona is kind then Fiona is white. If Anne is cold then Anne is red. If something is quiet then it is cold. All quiet things are cold.
Gary is green.
@0: Anne is green.[(triple1)] Erin is white.[(triple2)] Fiona is white.[(triple3)] Gary is red.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule1))] Fiona is green.[(((triple3) -> rule2))] @2: Anne is cold.[(((((triple1) -> rule1)) -> rule7) OR ((((triple1) -> rule1)) -> rule8))] Fiona is quiet.[(((((triple3) -> rule2)) -> rule1))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule7)) -> rule6) OR ((((((triple1) -> rule1)) -> rule8)) -> rule6))] Anne is young.[(((((((triple1) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule1)) -> rule8)) -> rule3))] Fiona is cold.[(((((((triple3) -> rule2)) -> rule1)) -> rule7) OR ((((((triple3) -> rule2)) -> rule1)) -> rule8))] @4: Fiona is young.[(((((((((triple3) -> rule2)) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple3) -> rule2)) -> rule1)) -> rule8)) -> rule3))]