Anne is blue. Anne is red. Bob is nice. Bob is red. Charlie is kind. Charlie is quiet. Erin is blue. If someone is green then they are nice. All big, green people are kind. If someone is red then they are green. All big people are red. If Charlie is red then Charlie is blue. All blue, nice people are kind.
Anne is green.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Bob is nice.[(triple3 OR ((((triple4) -> rule3)) -> rule1))] Bob is red.[(triple4)] Charlie is kind.[(triple5)] Charlie is quiet.[(triple6)] Erin is blue.[(triple7)] @1: Anne is green.[(((triple2) -> rule3))] Bob is green.[(((triple4) -> rule3))] @2: Anne is nice.[(((((triple2) -> rule3)) -> rule1))] @3: Anne is kind.[(((triple1 ((((triple2) -> rule3)) -> rule1)) -> rule6))]