Bob is blue. Bob is round. Erin is nice. Erin is round. Erin is smart. Gary is not young. Harry is blue. Harry is furry. Harry is nice. Harry is round. All smart things are furry. Young, nice things are furry. If something is furry then it is young. Round, nice things are not quiet. All round things are smart. If Bob is young then Bob is nice. If something is smart and not young then it is blue.
Bob is not furry.
@0: Bob is blue.[(triple1)] Bob is round.[(triple2)] Erin is nice.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5 OR ((triple4) -> rule5))] Gary is not young.[(triple6)] Harry is blue.[(triple7)] Harry is furry.[(triple8 OR ((((triple10) -> rule5)) -> rule1))] Harry is nice.[(triple9)] Harry is round.[(triple10)] @1: Bob is smart.[(((triple2) -> rule5))] Erin is furry.[(((triple5) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] Erin is not quiet.[(((triple4 triple3) -> rule4))] Harry is not quiet.[(((triple10 triple9) -> rule4))] Harry is smart.[(((triple10) -> rule5))] Harry is young.[(((triple8) -> rule3) OR ((((((triple10) -> rule5)) -> rule1)) -> rule3))] @2: Bob is furry.[(((((triple2) -> rule5)) -> rule1))] Erin is young.[(((((triple5) -> rule1)) -> rule3) OR ((((((triple4) -> rule5)) -> rule1)) -> rule3))] @3: Bob is young.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))] @4: Bob is nice.[(((((((((triple2) -> rule5)) -> rule1)) -> rule3)) -> rule6))] @5: Bob is not quiet.[(((triple2 ((((((((triple2) -> rule5)) -> rule1)) -> rule3)) -> rule6)) -> rule4))]