Bob is red. Charlie is not round. Dave is kind. Dave is red. Dave is smart. Erin is round. Erin is young. If something is rough then it is young. If something is round and not rough then it is not smart. If something is kind and not smart then it is red.
Bob is red.
@0: Bob is red.[(triple1)] Charlie is not round.[(triple2)] Dave is kind.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)]