Anne is blue. Anne is not red. Dave is blue. Dave is red. Dave is smart. Harry is blue. Harry is furry. If someone is furry and not blue then they are red. If someone is smart and not blue then they are furry. If Dave is blue and Dave is smart then Dave is rough.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is not red.[(triple2)] Dave is blue.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] @1: Dave is rough.[(((triple3 triple5) -> rule3))]