Bob is big. Bob is cold. Bob is nice. Bob is smart. Charlie is nice. Charlie is round. Charlie is smart. Charlie is young. Dave is cold. Dave is nice. Dave is smart. Erin is smart. If someone is young then they are big.
Dave is green.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is smart.[(triple4)] Charlie is nice.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Charlie is young.[(triple8)] Dave is cold.[(triple9)] Dave is nice.[(triple10)] Dave is smart.[(triple11)] Erin is smart.[(triple12)] @1: Charlie is big.[(((triple8) -> rule1))]