Anne is smart. Anne is young. Bob is kind. Bob is smart. Charlie is kind. Charlie is rough. Charlie is smart. Gary is cold. Gary is nice. Gary is rough. Rough people are smart. If Bob is rough then Bob is smart.
Charlie is smart.
@0: Anne is smart.[(triple1)] Anne is young.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Charlie is kind.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7 OR ((triple6) -> rule1))] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is rough.[(triple10)] @1: Gary is smart.[(((triple10) -> rule1))]