Anne is kind. Anne is quiet. Fiona is blue. Fiona is smart. Gary is kind. Harry is blue. Harry is quiet. All green, kind things are smart. All quiet, kind things are red. All green, red things are rough.
Anne is kind.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Fiona is blue.[(triple3)] Fiona is smart.[(triple4)] Gary is kind.[(triple5)] Harry is blue.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is red.[(((triple2 triple1) -> rule2))]