Bob is smart. Dave is cold. Dave is furry. Dave is kind. Dave is rough. Dave is smart. Dave is white. Erin is cold. Erin is kind. Erin is rough. Erin is smart. Erin is white. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is young. Rough people are white. Rough people are smart.
Fiona is rough.
@0: Bob is smart.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple5) -> rule2))] Dave is white.[(triple7 OR ((triple5) -> rule1))] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is rough.[(triple10)] Erin is smart.[(triple11 OR ((triple10) -> rule2))] Erin is white.[(triple12 OR ((triple10) -> rule1))] Fiona is furry.[(triple13)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15 OR ((triple14) -> rule2))] Fiona is young.[(triple16)] @1: Fiona is white.[(((triple14) -> rule1))]