Dave is smart. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is smart. Fiona is blue. Fiona is cold. Fiona is smart. All nice people are cold. All cold people are round. If Fiona is nice then Fiona is round.
Erin is not kind.
@0: Dave is smart.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((((triple4) -> rule1)) -> rule2))] Erin is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is smart.[(triple10)] @1: Erin is cold.[(((triple4) -> rule1))] Fiona is round.[(((triple9) -> rule2))]