Bob is green. Bob is nice. Charlie is red. Charlie is white. Dave is green. Dave is nice. Dave is smart. Dave is white. Gary is green. Gary is not young. Smart things are nice. If Dave is white and Dave is red then Dave is furry. If Bob is green and Bob is nice then Bob is not young. If something is green then it is red. All white, green things are smart. All furry things are not young. If something is nice and not smart then it is furry. If Gary is smart and Gary is furry then Gary is not red.
Dave is not furry.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Dave is green.[(triple5)] Dave is nice.[(triple6 OR ((triple7) -> rule1) OR ((((triple8 triple5) -> rule5)) -> rule1))] Dave is smart.[(triple7 OR ((triple8 triple5) -> rule5))] Dave is white.[(triple8)] Gary is green.[(triple9)] Gary is not young.[(triple10)] @1: Bob is not young.[(((triple1 triple2) -> rule3))] Bob is red.[(((triple1) -> rule4))] Dave is red.[(((triple5) -> rule4))] Gary is red.[(((triple9) -> rule4))] @2: Dave is furry.[(((triple8 ((triple5) -> rule4)) -> rule2))] @3: Dave is not young.[(((((triple8 ((triple5) -> rule4)) -> rule2)) -> rule6))]