Anne is blue. Anne is green. Anne is nice. Anne is young. Erin is blue. Erin is nice. Erin is young. If someone is nice then they are big. If Anne is red then Anne is nice. All red, big people are green. If Anne is furry and Anne is big then Anne is nice. If someone is big and blue then they are young. Furry people are nice.
Anne is red.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is young.[(triple4 OR ((((triple3) -> rule1) triple1) -> rule5))] Erin is blue.[(triple5)] Erin is nice.[(triple6)] Erin is young.[(triple7 OR ((((triple6) -> rule1) triple5) -> rule5))] @1: Anne is big.[(((triple3) -> rule1))] Erin is big.[(((triple6) -> rule1))]