Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is smart. Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is smart. All cold, kind things are big.
Erin is not smart.
@0: Dave is big.[(triple1 OR ((triple3 triple5) -> rule1))] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6)] Dave is smart.[(triple7)] Erin is big.[(triple8 OR ((triple10 triple12) -> rule1))] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is kind.[(triple12)] Erin is quiet.[(triple13)] Erin is smart.[(triple14)]