Anne is blue. Anne is white. Gary is rough. All nice, rough things are white. All nice, blue things are red. All nice things are rough. If something is blue then it is nice. All nice things are young. If something is rough and young then it is nice. Young things are red. Blue things are white.
Gary is not big.
@0: Anne is blue.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule8) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule1))] Gary is rough.[(triple3)] @1: Anne is nice.[(((triple1) -> rule4))] @2: Anne is red.[(((((triple1) -> rule4) triple1) -> rule2) OR ((((((triple1) -> rule4)) -> rule5)) -> rule7))] Anne is rough.[(((((triple1) -> rule4)) -> rule3))] Anne is young.[(((((triple1) -> rule4)) -> rule5))]