Anne is cold. Bob is cold. Bob is kind. Bob is red. Erin is not quiet. Erin is red. Fiona is not cold. Red things are green. Young things are green. If something is cold then it is young. If something is green and kind then it is not blue. If something is blue and not young then it is kind. If something is young then it is kind.
Anne is green.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((((triple2) -> rule3)) -> rule6))] Bob is red.[(triple4)] Erin is not quiet.[(triple5)] Erin is red.[(triple6)] Fiona is not cold.[(triple7)] @1: Anne is young.[(((triple1) -> rule3))] Bob is green.[(((triple4) -> rule1) OR ((((triple2) -> rule3)) -> rule2))] Bob is young.[(((triple2) -> rule3))] Erin is green.[(((triple6) -> rule1))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule2))] Anne is kind.[(((((triple1) -> rule3)) -> rule6))] Bob is not blue.[(((((triple4) -> rule1) triple3) -> rule4) OR ((((((triple2) -> rule3)) -> rule2) triple3) -> rule4) OR ((((triple4) -> rule1) ((((triple2) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule3)) -> rule2) ((((triple2) -> rule3)) -> rule6)) -> rule4))] @3: Anne is not blue.[(((((((triple1) -> rule3)) -> rule2) ((((triple1) -> rule3)) -> rule6)) -> rule4))]