Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is smart. Anne is young. Fiona is not furry. Fiona is not green. Fiona is kind. Fiona is quiet. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is smart. Red people are green.
Anne is not smart.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Fiona is kind.[(triple9)] Fiona is not furry.[(triple7)] Fiona is not green.[(triple8)] Fiona is quiet.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple14) -> rule1))] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)]