Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Charlie is red. Charlie is round. Gary is rough. Gary is round. If something is smart then it is young. All red things are smart. If Charlie is young then Charlie is rough.
Charlie is not young.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple3) -> rule2))] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Anne is young.[(((triple6) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Charlie is smart.[(((triple7) -> rule2))] @2: Charlie is young.[(((((triple7) -> rule2)) -> rule1))] @3: Charlie is rough.[(((((((triple7) -> rule2)) -> rule1)) -> rule3))]