Bob is furry. Bob is red. Bob is white. Dave is red. Dave is white. Fiona is big. Fiona is furry. Gary is quiet. Gary is red. Gary is white. All blue people are red. All blue, quiet people are furry. All blue people are furry. If Fiona is quiet then Fiona is big. If Fiona is not furry and Fiona is not white then Fiona is not big. Young people are big. If someone is young and not blue then they are big. If Dave is not red then Dave is young.
Dave is not young.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Bob is white.[(triple3)] Dave is red.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)]