Bob is big. Bob is cold. Bob is green. Bob is red. Bob is round. Charlie is cold. Charlie is round. Dave is green. Dave is red. Dave is round. Dave is smart. Dave is young. Erin is big. Erin is red. Erin is round. Erin is smart. Big, smart things are round.
Bob is young.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Charlie is cold.[(triple6)] Charlie is round.[(triple7)] Dave is green.[(triple8)] Dave is red.[(triple9)] Dave is round.[(triple10)] Dave is smart.[(triple11)] Dave is young.[(triple12)] Erin is big.[(triple13)] Erin is red.[(triple14)] Erin is round.[(triple15 OR ((triple13 triple16) -> rule1))] Erin is smart.[(triple16)]