Anne is red. Charlie is furry. Charlie is kind. Charlie is not nice. Charlie is round. Charlie is smart. Fiona is furry. Fiona is nice. Fiona is round. Harry is not furry. Harry is not red. Harry is round. If someone is furry and red then they are smart. Furry, young people are kind. If someone is nice and round then they are kind. If someone is smart and not round then they are not red. If someone is young and smart then they are red. Furry, red people are not nice.
Harry is nice.
@0: Anne is red.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not nice.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Fiona is round.[(triple9)] Harry is not furry.[(triple10)] Harry is not red.[(triple11)] Harry is round.[(triple12)] @1: Fiona is kind.[(((triple8 triple9) -> rule3))]