Bob is blue. Bob is furry. Bob is nice. Dave is blue. Dave is furry. Dave is green. Dave is not nice. Dave is red. Dave is white. Fiona is furry. Fiona is red. Gary is blue. Gary is furry. Gary is not green. Gary is red. Gary is not white. If something is red and furry then it is blue. All white, green things are furry. If something is red and not nice then it is furry.
Gary is not red.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Dave is blue.[(triple4 OR ((triple8 triple5) -> rule1) OR ((triple8 ((triple8 triple7) -> rule3)) -> rule1) OR ((triple8 ((triple9 triple6) -> rule2)) -> rule1))] Dave is furry.[(triple5 OR ((triple8 triple7) -> rule3) OR ((triple9 triple6) -> rule2))] Dave is green.[(triple6)] Dave is not nice.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9)] Fiona is furry.[(triple10)] Fiona is red.[(triple11)] Gary is blue.[(triple12 OR ((triple15 triple13) -> rule1))] Gary is furry.[(triple13)] Gary is not green.[(triple14)] Gary is not white.[(triple16)] Gary is red.[(triple15)] @1: Fiona is blue.[(((triple11 triple10) -> rule1))]