Anne is blue. Anne is kind. Anne is quiet. Anne is smart. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. If Fiona is blue and Fiona is smart then Fiona is green.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is green.[(((triple5 triple10) -> rule1))]