Anne is green. Charlie is green. Charlie is kind. Erin is cold. Harry is blue. Harry is green. Harry is kind. Furry, cold people are big. Kind people are furry. Kind, cold people are big.
Anne is not furry.
@0: Anne is green.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Erin is cold.[(triple4)] Harry is blue.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7)] @1: Charlie is furry.[(((triple3) -> rule2))] Harry is furry.[(((triple7) -> rule2))]