Bob is smart. Bob is not young. Erin is furry. Harry is not furry. Harry is kind. Harry is red. Harry is rough. All rough things are not round. If something is kind and young then it is smart. If something is kind then it is smart. If something is kind and not young then it is not furry. All kind things are not furry. All round things are furry. If Erin is red and Erin is not rough then Erin is furry. If something is smart and not young then it is red.
Erin is not furry.
@0: Bob is not young.[(triple2)] Bob is smart.[(triple1)] Erin is furry.[(triple3)] Harry is kind.[(triple5)] Harry is not furry.[(triple4 OR ((triple5) -> rule5))] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Bob is red.[(((triple1 triple2) -> rule8))] Harry is not round.[(((triple7) -> rule1))] Harry is smart.[(((triple5) -> rule3))]