Bob is kind. Dave is not furry. Erin is rough. Gary is nice. If someone is furry and green then they are cold. If someone is green then they are nice. All furry, nice people are kind. All green, cold people are young. If someone is cold then they are furry. If Gary is rough then Gary is nice.
Erin is not rough.
@0: Bob is kind.[(triple1)] Dave is not furry.[(triple2)] Erin is rough.[(triple3)] Gary is nice.[(triple4)]