Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is smart. Anne is young. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is smart. Gary is young. Harry is big. Harry is cold. Harry is green. Nice things are young. All smart, big things are green. All green, big things are blue. If something is smart then it is green. All smart things are young. Cold things are blue.
Harry is not young.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3 triple1) -> rule3) OR ((((triple5) -> rule4) triple1) -> rule3) OR ((((triple5 triple1) -> rule2) triple1) -> rule3))] Anne is green.[(triple3 OR ((triple5) -> rule4) OR ((triple5 triple1) -> rule2))] Anne is nice.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6 OR ((triple4) -> rule1) OR ((triple5) -> rule5))] Gary is big.[(triple7)] Gary is blue.[(triple8 OR ((triple9) -> rule6) OR ((triple10 triple7) -> rule3) OR ((((triple12) -> rule4) triple7) -> rule3) OR ((((triple12 triple7) -> rule2) triple7) -> rule3))] Gary is cold.[(triple9)] Gary is green.[(triple10 OR ((triple12) -> rule4) OR ((triple12 triple7) -> rule2))] Gary is nice.[(triple11)] Gary is smart.[(triple12)] Gary is young.[(triple13 OR ((triple11) -> rule1) OR ((triple12) -> rule5))] Harry is big.[(triple14)] Harry is cold.[(triple15)] Harry is green.[(triple16)] @1: Harry is blue.[(((triple15) -> rule6) OR ((triple16 triple14) -> rule3))]