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