Erin is cold. Erin is green. Erin is kind. Erin is round. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. All round, kind things are smart. If Fiona is green and Fiona is quiet then Fiona is round. Smart things are cold.
Fiona is green.
@0: Erin is cold.[(triple1 OR ((((triple4 triple3) -> rule1)) -> rule3))] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is round.[(triple4)] Fiona is cold.[(triple5 OR ((triple10) -> rule3) OR ((((triple9 triple6) -> rule1)) -> rule3))] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple9 triple6) -> rule1))] @1: Erin is smart.[(((triple4 triple3) -> rule1))]