Anne is young. Bob is young. Charlie is nice. Gary is young. Nice people are cold. Rough, big people are young. If someone is cold and nice then they are smart. All white people are young. All smart people are rough. All big, white people are smart.
Charlie is rough.
@0: Anne is young.[(triple1)] Bob is young.[(triple2)] Charlie is nice.[(triple3)] Gary is young.[(triple4)] @1: Charlie is cold.[(((triple3) -> rule1))] @2: Charlie is smart.[(((((triple3) -> rule1) triple3) -> rule3))] @3: Charlie is rough.[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule5))]