Anne is not blue. Bob is round. Gary is nice. Harry is blue. Round people are red.
Anne is rough.
@0: Anne is not blue.[(triple1)] Bob is round.[(triple2)] Gary is nice.[(triple3)] Harry is blue.[(triple4)] @1: Bob is red.[(((triple2) -> rule1))]