Anne is cold. Anne is nice. Anne is smart. Anne is young. Fiona is cold. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Harry is smart. Harry is white. Harry is young. All smart things are white.
Harry is rough.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8 OR ((triple7) -> rule1))] Fiona is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple14) -> rule1))] Harry is young.[(triple16)] @1: Anne is white.[(((triple3) -> rule1))]