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.
Erin is round.
@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))]