Anne is furry. Anne is quiet. Anne is smart. Charlie is big. Charlie is green. Erin is big. Erin is cold. Quiet things are cold. If something is furry then it is quiet. If something is red then it is quiet. All furry, cold things are quiet. Cold, quiet things are red. If Erin is cold then Erin is furry.
Charlie is cold.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule2))] Anne is smart.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7)] @1: Anne is cold.[(((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Erin is furry.[(((triple7) -> rule6))] @2: Anne is red.[(((((triple2) -> rule1) triple2) -> rule5) OR ((((triple2) -> rule1) ((triple1) -> rule2)) -> rule5) OR ((((((triple1) -> rule2)) -> rule1) triple2) -> rule5) OR ((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule5))] Erin is quiet.[(((((triple7) -> rule6)) -> rule2) OR ((((triple7) -> rule6) triple7) -> rule4))] @3: Erin is red.[(((triple7 ((((triple7) -> rule6)) -> rule2)) -> rule5) OR ((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule5))]