Anne is green. Fiona is kind. Gary is white. Harry is quiet. If someone is kind then they are green. All nice people are blue. If someone is green then they are white. Kind, blue people are green. If Anne is red and Anne is nice then Anne is blue. If someone is white then they are nice.
Gary is quiet.
@0: Anne is green.[(triple1)] Fiona is kind.[(triple2)] Gary is white.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is white.[(((triple1) -> rule3))] Fiona is green.[(((triple2) -> rule1))] Gary is nice.[(((triple3) -> rule6))] @2: Anne is nice.[(((((triple1) -> rule3)) -> rule6))] Fiona is white.[(((((triple2) -> rule1)) -> rule3))] Gary is blue.[(((((triple3) -> rule6)) -> rule2))] @3: Anne is blue.[(((((((triple1) -> rule3)) -> rule6)) -> rule2))] Fiona is nice.[(((((((triple2) -> rule1)) -> rule3)) -> rule6))] @4: Fiona is blue.[(((((((((triple2) -> rule1)) -> rule3)) -> rule6)) -> rule2))]