Anne is red. Anne is smart. Erin is furry. Erin is red. Erin is round. Harry is red. Harry is young. All red people are blue. If someone is blue then they are furry. If Harry is red then Harry is blue.
Erin is cold.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Erin is furry.[(triple3 OR ((((triple4) -> rule1)) -> rule2))] Erin is red.[(triple4)] Erin is round.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7)] @1: Anne is blue.[(((triple1) -> rule1))] Erin is blue.[(((triple4) -> rule1))] Harry is blue.[(((triple6) -> rule1) OR ((triple6) -> rule3))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule2))] Harry is furry.[(((((triple6) -> rule1)) -> rule2) OR ((((triple6) -> rule3)) -> rule2))]