Anne is blue. Anne is nice. Anne is white. Anne is young. Bob is blue. Bob is smart. Charlie is nice. Charlie is rough. Charlie is white. Gary is blue. Gary is green. Gary is nice. Gary is rough. Gary is smart. Gary is white. Gary is young. If someone is smart then they are young. If someone is young and white then they are smart.
Anne is green.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is smart.[(triple6)] Charlie is nice.[(triple7)] Charlie is rough.[(triple8)] Charlie is white.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14 OR ((triple16 triple15) -> rule2))] Gary is white.[(triple15)] Gary is young.[(triple16 OR ((triple14) -> rule1))] @1: Anne is smart.[(((triple4 triple3) -> rule2))] Bob is young.[(((triple6) -> rule1))]