Bob is round. Charlie is red. Charlie is smart. Charlie is young. Dave is blue. Dave is furry. Dave is round. If Bob is round and Bob is young then Bob is blue. Round, green things are furry.
Dave is furry.
@0: Bob is round.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is round.[(triple7)]