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