Bob is not big. Bob is kind. Dave is cold. Dave is not nice. Erin is big. Erin is cold. Gary is rough. Nice things are cold. If Erin is furry and Erin is kind then Erin is rough.
Bob is not kind.
@0: Bob is kind.[(triple2)] Bob is not big.[(triple1)] Dave is cold.[(triple3)] Dave is not nice.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Gary is rough.[(triple7)]