Erin is kind. Erin is quiet. Erin is smart. Erin is white. Erin is young. Harry is green. Harry is kind. Harry is quiet. Harry is smart. Harry is white. If something is smart then it is young. If Erin is young and Erin is smart then Erin is green.
Erin is furry.
@0: Erin is kind.[(triple1)] Erin is quiet.[(triple2)] Erin is smart.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5 OR ((triple3) -> rule1))] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is quiet.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Erin is green.[(((triple5 triple3) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2))] Harry is young.[(((triple9) -> rule1))]