Erin is blue. Erin is not furry. Erin is nice. Harry is furry. Harry is nice. Harry is red. Harry is not young. Nice people are rough. If Harry is red then Harry is not quiet. If someone is furry and not quiet then they are blue.
Erin is not young.
@0: Erin is blue.[(triple1)] Erin is nice.[(triple3)] Erin is not furry.[(triple2)] Harry is furry.[(triple4)] Harry is nice.[(triple5)] Harry is not young.[(triple7)] Harry is red.[(triple6)] @1: Erin is rough.[(((triple3) -> rule1))] Harry is not quiet.[(((triple6) -> rule2))] Harry is rough.[(((triple5) -> rule1))] @2: Harry is blue.[(((triple4 ((triple6) -> rule2)) -> rule3))]