Bob is red. Erin is furry. Erin is red. Erin is round. Gary is not furry. Harry is kind. Harry is young. Furry things are white. If something is red then it is furry.
Gary is white.
@0: Bob is red.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule2))] Erin is red.[(triple3)] Erin is round.[(triple4)] Gary is not furry.[(triple5)] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Bob is furry.[(((triple1) -> rule2))] Erin is white.[(((triple2) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] @2: Bob is white.[(((((triple1) -> rule2)) -> rule1))]