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