Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is smart. Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is young. If something is young and red then it is nice. If something is blue then it is green.
Anne is not young.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple1) -> rule2))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Charlie is blue.[(triple6)] Charlie is green.[(triple7 OR ((triple6) -> rule2))] Charlie is nice.[(triple8)] Charlie is quiet.[(triple9)] Gary is blue.[(triple10)] Gary is green.[(triple11 OR ((triple10) -> rule2))] Gary is nice.[(triple12 OR ((triple16 triple14) -> rule1))] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16)]