Anne is blue. Anne is furry. Anne is kind. Charlie is furry. Charlie is kind. Fiona is furry. Fiona is red. All blue, big people are smart. If Fiona is furry then Fiona is kind.
Anne is big.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] @1: Fiona is kind.[(((triple6) -> rule2))]