Anne is big. Dave is white. Harry is kind. If someone is rough then they are red. If Harry is kind and Harry is red then Harry is white. All rough people are red. If someone is quiet and white then they are kind. If someone is white and rough then they are kind. If Dave is big then Dave is red. All big people are white. All rough, red people are big.
Anne is big.
@0: Anne is big.[(triple1)] Dave is white.[(triple2)] Harry is kind.[(triple3)] @1: Anne is white.[(((triple1) -> rule7))]