Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is smart. Dave is blue. Dave is furry. Dave is red. Dave is smart. Dave is white. Gary is blue. Gary is furry. Gary is red. Gary is rough. Gary is smart. Gary is white. White people are kind. If Gary is furry and Gary is smart then Gary is red. Smart, rough people are blue.
Dave is not smart.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9)] Dave is white.[(triple10)] Gary is blue.[(triple11 OR ((triple15 triple14) -> rule3))] Gary is furry.[(triple12)] Gary is red.[(triple13 OR ((triple12 triple15) -> rule2))] Gary is rough.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Bob is blue.[(((triple5 triple4) -> rule3))] Dave is kind.[(((triple10) -> rule1))] Gary is kind.[(((triple16) -> rule1))]