Erin is kind. Erin is quiet. Erin is smart. Erin is young. Harry is furry. Harry is kind. Harry is red. Quiet things are furry. If Erin is kind and Erin is young then Erin is smart. Furry things are smart. All furry, young things are red. If Harry is red and Harry is round then Harry is furry. If something is furry then it is kind.
Harry is quiet.
@0: Erin is kind.[(triple1 OR ((((triple2) -> rule1)) -> rule6))] Erin is quiet.[(triple2)] Erin is smart.[(triple3 OR ((triple1 triple4) -> rule2) OR ((((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule6) triple4) -> rule2))] Erin is young.[(triple4)] Harry is furry.[(triple5)] Harry is kind.[(triple6 OR ((triple5) -> rule6))] Harry is red.[(triple7)] @1: Erin is furry.[(((triple2) -> rule1))] Harry is smart.[(((triple5) -> rule3))] @2: Erin is red.[(((((triple2) -> rule1) triple4) -> rule4))]