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