Anne is blue. Anne is nice. Anne is round. Dave is blue. Dave is smart. Fiona is nice. Harry is not blue. Harry is furry. Harry is green. Harry is round. If Dave is not smart then Dave is not green. If something is blue and nice then it is rough.
Fiona is not rough.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Dave is blue.[(triple4)] Dave is smart.[(triple5)] Fiona is nice.[(triple6)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is not blue.[(triple7)] Harry is round.[(triple10)] @1: Anne is rough.[(((triple1 triple2) -> rule2))]