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