Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is smart. Bob is young. Gary is cold. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is young. Young, rough things are red. All red things are green. If Bob is kind then Bob is green.
Gary is rough.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule2) OR ((((triple6 triple4) -> rule1)) -> rule2))] Bob is red.[(triple3 OR ((triple6 triple4) -> rule1))] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8 OR ((triple10) -> rule2))] Gary is kind.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)]