Anne is big. Anne is cold. Anne is green. Anne is rough. Anne is round. Anne is young. Dave is big. Dave is rough. Dave is smart. Harry is big. Harry is cold. Harry is green. Harry is round. Harry is smart. Harry is young. Smart, big people are green. If someone is green and young then they are round.
Dave is not round.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple3 triple6) -> rule2))] Anne is young.[(triple6)] Dave is big.[(triple7)] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Harry is big.[(triple10)] Harry is cold.[(triple11)] Harry is green.[(triple12 OR ((triple14 triple10) -> rule1))] Harry is round.[(triple13 OR ((triple12 triple15) -> rule2) OR ((((triple14 triple10) -> rule1) triple15) -> rule2))] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Dave is green.[(((triple9 triple7) -> rule1))]