Anne is cold. Anne is rough. Anne is round. Anne is smart. Anne is young. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is round. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is young. Smart, cold people are young. Nice, round people are smart. All cold people are red.
Anne is not red.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5 OR ((triple4 triple1) -> rule1))] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Harry is cold.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12 OR ((triple10) -> rule3))] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple11 triple14) -> rule2))] Harry is young.[(triple16 OR ((triple15 triple10) -> rule1) OR ((((triple11 triple14) -> rule2) triple10) -> rule1))] @1: Anne is red.[(((triple1) -> rule3))] Fiona is red.[(((triple6) -> rule3))] Fiona is smart.[(((triple7 triple9) -> rule2))] @2: Fiona is young.[(((((triple7 triple9) -> rule2) triple6) -> rule1))]