Erin is cold. Erin is kind. Erin is nice. Erin is smart. Fiona is nice. Fiona is round. Fiona is smart. If something is nice then it is kind. If something is round then it is smart.
Erin is round.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2 OR ((triple3) -> rule1))] Erin is nice.[(triple3)] Erin is smart.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7 OR ((triple6) -> rule2))] @1: Fiona is kind.[(((triple5) -> rule1))]