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