Charlie is white. Erin is blue. Erin is kind. Erin is not rough. Erin is round. Erin is not smart. Erin is white. Fiona is not blue. Fiona is not smart. Fiona is white. If someone is kind then they are green. If Fiona is not green then Fiona is round.
Charlie is white.
@0: Charlie is white.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is not rough.[(triple4)] Erin is not smart.[(triple6)] Erin is round.[(triple5)] Erin is white.[(triple7)] Fiona is not blue.[(triple8)] Fiona is not smart.[(triple9)] Fiona is white.[(triple10)] @1: Erin is green.[(((triple3) -> rule1))]