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