Anne is kind. Anne is young. Dave is cold. Dave is nice. Dave is round. Dave is smart. Erin is kind. Erin is smart. Erin is young. Fiona is cold. Fiona is smart. Fiona is young. If something is smart and young then it is round. Round, cold things are nice. If something is smart then it is kind.
Anne is green.
@0: Anne is kind.[(triple1)] Anne is young.[(triple2)] Dave is cold.[(triple3)] Dave is nice.[(triple4 OR ((triple5 triple3) -> rule2))] Dave is round.[(triple5)] Dave is smart.[(triple6)] Erin is kind.[(triple7 OR ((triple8) -> rule3))] Erin is smart.[(triple8)] Erin is young.[(triple9)] Fiona is cold.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Dave is kind.[(((triple6) -> rule3))] Erin is round.[(((triple8 triple9) -> rule1))] Fiona is kind.[(((triple11) -> rule3))] Fiona is round.[(((triple11 triple12) -> rule1))] @2: Fiona is nice.[(((((triple11 triple12) -> rule1) triple10) -> rule2))]