Bob is cold. Bob is furry. Bob is quiet. Bob is not round. Bob is white. Bob is young. Erin is not cold. Erin is furry. Erin is red. Erin is round. Gary is furry. Gary is young. If something is young and not white then it is cold. If something is cold and not red then it is young. If something is quiet and not white then it is round.
Erin is not red.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not round.[(triple4)] Bob is quiet.[(triple3)] Bob is white.[(triple5)] Bob is young.[(triple6)] Erin is furry.[(triple8)] Erin is not cold.[(triple7)] Erin is red.[(triple9)] Erin is round.[(triple10)] Gary is furry.[(triple11)] Gary is young.[(triple12)]