Bob is smart. Erin is blue. Erin is smart. Harry is blue. Harry is nice. Harry is quiet. Harry is round. Furry things are smart. If something is smart and furry then it is rough. If Bob is smart then Bob is furry. Quiet things are blue. Quiet, rough things are smart. If something is quiet then it is blue. All blue things are rough. All nice things are furry.
Harry is quiet.
@0: Bob is smart.[(triple1)] Erin is blue.[(triple2)] Erin is smart.[(triple3)] Harry is blue.[(triple4 OR ((triple6) -> rule4) OR ((triple6) -> rule6))] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Bob is furry.[(((triple1) -> rule3))] Erin is rough.[(((triple2) -> rule7))] Harry is furry.[(((triple5) -> rule8))] Harry is rough.[(((triple4) -> rule7) OR ((((triple6) -> rule4)) -> rule7) OR ((((triple6) -> rule6)) -> rule7) OR ((((((triple5) -> rule8)) -> rule1) ((triple5) -> rule8)) -> rule2))] @2: Bob is rough.[(((triple1 ((triple1) -> rule3)) -> rule2))] Harry is smart.[(((((triple5) -> rule8)) -> rule1) OR ((triple6 ((triple4) -> rule7)) -> rule5) OR ((triple6 ((((triple6) -> rule4)) -> rule7)) -> rule5) OR ((triple6 ((((triple6) -> rule6)) -> rule7)) -> rule5))]