Anne is kind. Anne is round. Anne is smart. Charlie is cold. Charlie is furry. Charlie is rough. Erin is furry. Fiona is cold. Fiona is rough. Fiona is round. Furry things are round. If something is round then it is quiet.
Fiona is quiet.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is rough.[(triple6)] Erin is furry.[(triple7)] Fiona is cold.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] @1: Anne is quiet.[(((triple2) -> rule2))] Charlie is round.[(((triple5) -> rule1))] Erin is round.[(((triple7) -> rule1))] Fiona is quiet.[(((triple10) -> rule2))] @2: Charlie is quiet.[(((((triple5) -> rule1)) -> rule2))] Erin is quiet.[(((((triple7) -> rule1)) -> rule2))]