Anne is red. Anne is smart. Erin is round. Erin is smart. Fiona is nice. Fiona is round. Fiona is smart. Harry is blue. Harry is nice. Harry is red. Nice things are big. All young, smart things are round. Big, round things are red.
Fiona is smart.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Erin is round.[(triple3)] Erin is smart.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] @1: Fiona is big.[(((triple5) -> rule1))] Harry is big.[(((triple9) -> rule1))] @2: Fiona is red.[(((((triple5) -> rule1) triple6) -> rule3))]