Dave is big. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is red. If something is green then it is red.
Erin is cold.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Erin is big.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12 OR ((triple9) -> rule1))]