Anne is furry. Anne is smart. Anne is young. Fiona is furry. Fiona is round. Fiona is smart. Fiona is young. If someone is round then they are nice. If someone is smart and nice then they are big.
Fiona is blue.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Fiona is furry.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is nice.[(((triple5) -> rule1))] @2: Fiona is big.[(((triple6 ((triple5) -> rule1)) -> rule2))]