Gary is not blue. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is smart. Gary is young. If Gary is young then Gary is nice. If Gary is smart then Gary is nice. If something is young and not cold then it is kind. If something is cold and nice then it is kind. If something is nice and not young then it is kind. If something is kind then it is green. If something is nice then it is smart. If something is young and not kind then it is blue.
Gary is kind.
@0: Gary is cold.[(triple2)] Gary is green.[(triple3 OR ((triple4) -> rule6) OR ((((triple2 triple5) -> rule4)) -> rule6) OR ((((triple2 ((triple6) -> rule2)) -> rule4)) -> rule6) OR ((((triple2 ((triple7) -> rule1)) -> rule4)) -> rule6))] Gary is kind.[(triple4 OR ((triple2 triple5) -> rule4) OR ((triple2 ((triple6) -> rule2)) -> rule4) OR ((triple2 ((triple7) -> rule1)) -> rule4))] Gary is nice.[(triple5 OR ((triple6) -> rule2) OR ((triple7) -> rule1))] Gary is not blue.[(triple1)] Gary is smart.[(triple6 OR ((triple5) -> rule7) OR ((((triple7) -> rule1)) -> rule7))] Gary is young.[(triple7)]