Bob is big. Bob is kind. Bob is nice. Charlie is not green. Charlie is smart. Erin is not green. Erin is nice. If Bob is not green and Bob is not rough then Bob is smart. Rough people are kind. If Charlie is kind then Charlie is cold. If someone is cold then they are big. Green, nice people are smart. If someone is smart and not cold then they are nice. If someone is kind and green then they are nice. If Erin is nice and Erin is rough then Erin is green.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Charlie is not green.[(triple4)] Charlie is smart.[(triple5)] Erin is nice.[(triple7)] Erin is not green.[(triple6)]