Bob is green. Gary is red. Gary is rough. If someone is cold and green then they are blue. Green people are kind. If someone is rough then they are red. Cold people are rough. If someone is cold then they are blue. If Bob is kind then Bob is young.
Gary is not blue.
@0: Bob is green.[(triple1)] Gary is red.[(triple2 OR ((triple3) -> rule3))] Gary is rough.[(triple3)] @1: Bob is kind.[(((triple1) -> rule2))] @2: Bob is young.[(((((triple1) -> rule2)) -> rule6))]