Anne is red. Charlie is cold. Fiona is green. Gary is smart. If someone is red then they are rough. Big, cold people are smart. If someone is smart and not rough then they are green. If someone is cold then they are green. If someone is big and not green then they are quiet. All smart people are quiet.
Fiona is not green.
@0: Anne is red.[(triple1)] Charlie is cold.[(triple2)] Fiona is green.[(triple3)] Gary is smart.[(triple4)] @1: Anne is rough.[(((triple1) -> rule1))] Charlie is green.[(((triple2) -> rule4))] Gary is quiet.[(((triple4) -> rule6))]