Bob is kind. Bob is round. Dave is cold. Dave is furry. Dave is round. Erin is big. Erin is round. Gary is cold. Gary is furry. Gary is kind. If Erin is young and Erin is round then Erin is furry. Quiet people are young.
Gary is not young.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is round.[(triple5)] Erin is big.[(triple6)] Erin is round.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)]