Anne is furry. Anne is quiet. Anne is rough. Anne is round. Anne is white. Fiona is furry. Fiona is not quiet. Fiona is not rough. Fiona is smart. Fiona is young. Gary is furry. Harry is furry. Harry is quiet. Harry is smart. Harry is white. Harry is not young. All smart people are not round. Round, young people are not smart.
Fiona is not white.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is not quiet.[(triple7)] Fiona is not rough.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] Gary is furry.[(triple11)] Harry is furry.[(triple12)] Harry is not young.[(triple16)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Fiona is not round.[(((triple9) -> rule1))] Harry is not round.[(((triple14) -> rule1))]