Anne is nice. Anne is rough. Charlie is blue. Charlie is cold. Charlie is nice. Erin is blue. Fiona is white. If someone is nice then they are white. If someone is blue and nice then they are rough.
Erin is young.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is nice.[(triple5)] Erin is blue.[(triple6)] Fiona is white.[(triple7)] @1: Anne is white.[(((triple1) -> rule1))] Charlie is rough.[(((triple3 triple5) -> rule2))] Charlie is white.[(((triple5) -> rule1))]