Bob is nice. Charlie is nice. Dave is round. Harry is round. If Charlie is round then Charlie is furry. If Charlie is red and Charlie is young then Charlie is nice. If someone is red then they are round. Quiet people are furry. If Bob is round then Bob is quiet. If someone is nice and quiet then they are young. Furry people are nice. Red, nice people are furry.
Dave is not round.
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Dave is round.[(triple3)] Harry is round.[(triple4)]