Bob is cold. Bob is green. Bob is not kind. Bob is red. Bob is rough. Bob is smart. Bob is young. Gary is cold. Gary is green. Gary is not kind. Gary is red. Gary is rough. Gary is smart. Gary is young. If someone is red and not kind then they are green. Red people are smart.
Gary is not young.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple4 triple3) -> rule1))] Bob is not kind.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple4) -> rule2))] Bob is young.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9 OR ((triple11 triple10) -> rule1))] Gary is not kind.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is smart.[(triple13 OR ((triple11) -> rule2))] Gary is young.[(triple14)]