Dave is cold. Dave is furry. Dave is smart. Dave is young. Erin is cold. Erin is furry. Erin is green. Erin is rough. Erin is smart. Fiona is cold. If something is young and furry then it is cold. If Fiona is green then Fiona is red.
Erin is rough.
@0: Dave is cold.[(triple1 OR ((triple4 triple2) -> rule1))] Dave is furry.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Fiona is cold.[(triple10)]