Bob is blue. Bob is kind. Bob is rough. If someone is blue and kind then they are not green. Red people are blue. If someone is young and not rough then they are blue. If someone is white and green then they are blue. If Bob is blue and Bob is not kind then Bob is not green. All green, rough people are young.
Bob is not young.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is rough.[(triple3)] @1: Bob is not green.[(((triple1 triple2) -> rule1))]