Bob is furry. Bob is kind. Bob is young. Dave is kind. Dave is rough. Fiona is furry. Gary is red. All furry, blue things are rough. If Dave is kind and Dave is furry then Dave is blue. If something is rough then it is blue. If something is young then it is kind. Kind things are blue. If something is red and furry then it is kind. Kind, blue things are rough. All smart, rough things are red.
Bob is not rough.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule4))] Bob is young.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5 OR ((triple4 ((triple4) -> rule5)) -> rule7))] Fiona is furry.[(triple6)] Gary is red.[(triple7)] @1: Bob is blue.[(((triple2) -> rule5) OR ((((triple3) -> rule4)) -> rule5))] Dave is blue.[(((triple4) -> rule5) OR ((triple5) -> rule3))] @2: Bob is rough.[(((triple1 ((triple2) -> rule5)) -> rule1) OR ((triple2 ((triple2) -> rule5)) -> rule7) OR ((((triple3) -> rule4) ((triple2) -> rule5)) -> rule7) OR ((triple1 ((((triple3) -> rule4)) -> rule5)) -> rule1) OR ((triple2 ((((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule5)) -> rule7))]