Charlie is green. Charlie is kind. Charlie is round. Erin is cold. Erin is nice. Erin is smart. Erin is white. Fiona is green. Fiona is kind. Fiona is round. Fiona is smart. Fiona is white. All white things are nice. All smart, cold things are kind.
Charlie is not nice.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5 OR ((triple7) -> rule1))] Erin is smart.[(triple6)] Erin is white.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Erin is kind.[(((triple6 triple4) -> rule2))] Fiona is nice.[(((triple12) -> rule1))]