Anne is not big. Anne is not furry. Anne is kind. Bob is big. Bob is furry. Gary is big. Gary is green. Gary is red. Gary is not young. Harry is young. Kind, big people are furry. Furry people are green.
Anne is not furry.
@0: Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is not furry.[(triple2)] Bob is big.[(triple4)] Bob is furry.[(triple5)] Gary is big.[(triple6)] Gary is green.[(triple7)] Gary is not young.[(triple9)] Gary is red.[(triple8)] Harry is young.[(triple10)] @1: Bob is green.[(((triple5) -> rule2))]