Bob is nice. Charlie is green. Erin is big. All young, nice people are furry. All nice, big people are not furry. If someone is green and not furry then they are smart.
Bob is green.
@0: Bob is nice.[(triple1)] Charlie is green.[(triple2)] Erin is big.[(triple3)]