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