Bob is nice. Charlie is kind. Charlie is rough. If Bob is nice then Bob is red. Rough, green things are blue.
Bob is not nice.
@0: Bob is nice.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] @1: Bob is red.[(((triple1) -> rule1))]