Erin is blue. Erin is cold. Erin is furry. Erin is round. Harry is cold. Harry is furry. Harry is rough. Round things are rough. If Harry is red then Harry is blue. Cold, rough things are furry. Young, furry things are red. If something is furry then it is round. If something is red then it is furry.
Harry is young.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple2 ((triple4) -> rule1)) -> rule3))] Erin is round.[(triple4 OR ((triple3) -> rule5))] Harry is cold.[(triple5)] Harry is furry.[(triple6 OR ((triple5 triple7) -> rule3))] Harry is rough.[(triple7 OR ((((triple6) -> rule5)) -> rule1))] @1: Erin is rough.[(((triple4) -> rule1) OR ((((triple3) -> rule5)) -> rule1))] Harry is round.[(((triple6) -> rule5) OR ((((triple5 triple7) -> rule3)) -> rule5))]