Anne is cold. Anne is furry. Anne is rough. Anne is smart. Anne is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is smart. If someone is cold then they are smart. If someone is cold then they are furry. If Fiona is cold then Fiona is rough. If Anne is furry and Anne is blue then Anne is rough. If someone is rough then they are round. If Fiona is rough then Fiona is furry.
Anne is furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule2))] Anne is rough.[(triple3)] Anne is smart.[(triple4 OR ((triple1) -> rule1))] Anne is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8 OR ((triple7) -> rule2) OR ((triple9) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] Fiona is rough.[(triple9 OR ((triple7) -> rule3))] Fiona is smart.[(triple10 OR ((triple7) -> rule1))] @1: Anne is round.[(((triple3) -> rule5))] Fiona is round.[(((triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule5))]