Bob is cold. Bob is green. Bob is round. Bob is smart. Bob is young. Dave is cold. Dave is nice. Dave is round. Dave is white. Dave is young. All cold, green people are white.
Dave is not round.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] @1: Bob is white.[(((triple1 triple2) -> rule1))]