Anne is cold. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Anne is young. Gary is cold. Gary is green. Gary is kind. Gary is red. Gary is round. Gary is smart. Gary is young. Round, cold people are young. Green people are smart.
Gary is not young.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple2) -> rule2))] Anne is young.[(triple7 OR ((triple5 triple1) -> rule1))] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13 OR ((triple9) -> rule2))] Gary is young.[(triple14 OR ((triple12 triple8) -> rule1))]