Anne is blue. Charlie is green. Charlie is rough. Charlie is smart. Erin is blue. Erin is green. Erin is kind. Erin is nice. Fiona is green. Fiona is kind. Fiona is red. Fiona is smart. Smart, red people are nice. If someone is red and nice then they are smart.
Fiona is not smart.
@0: Anne is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11)] Fiona is smart.[(triple12)] @1: Fiona is nice.[(((triple12 triple11) -> rule1))]