Dave is kind. Erin is white. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. Fiona is white. If Erin is white then Erin is smart. If something is round and green then it is smart.
Dave is not smart.
@0: Dave is kind.[(triple1)] Erin is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] @1: Erin is smart.[(((triple2) -> rule1))]