Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Dave is red. Gary is blue. Gary is green. Gary is kind. Gary is red. Young things are kind. If Dave is red and Dave is young then Dave is blue. If Bob is red then Bob is furry. Green things are furry. All furry things are kind. Green things are red.
Bob is not red.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule4) OR ((triple5) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule5) OR ((((triple2) -> rule4)) -> rule5) OR ((((triple5) -> rule3)) -> rule5) OR ((((((triple2) -> rule6)) -> rule3)) -> rule5))] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple2) -> rule6))] Dave is red.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9 OR ((((triple8) -> rule4)) -> rule5))] Gary is red.[(triple10 OR ((triple8) -> rule6))] @1: Gary is furry.[(((triple8) -> rule4))]