Bob is cold. Bob is green. Bob is rough. Charlie is rough. Charlie is young. Gary is blue. Gary is cold. All big people are blue. All rough people are cold. All rough, cold people are green.
Charlie is not green.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule2))] Bob is green.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple3) -> rule2)) -> rule3))] Bob is rough.[(triple3)] Charlie is rough.[(triple4)] Charlie is young.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] @1: Charlie is cold.[(((triple4) -> rule2))] @2: Charlie is green.[(((triple4 ((triple4) -> rule2)) -> rule3))]