Anne is kind. Erin is blue. Fiona is nice. Gary is furry. All kind people are furry. Kind, big people are nice. If someone is cold then they are blue. All furry, nice people are round. If someone is cold then they are nice. If someone is kind and blue then they are round. If someone is big then they are furry. All big, kind people are furry.
Anne is kind.
@0: Anne is kind.[(triple1)] Erin is blue.[(triple2)] Fiona is nice.[(triple3)] Gary is furry.[(triple4)] @1: Anne is furry.[(((triple1) -> rule1))]