Anne is not furry. Anne is nice. Bob is big. Bob is furry. Bob is kind. Bob is not young. Gary is not big. Gary is not furry. Gary is not nice. Gary is young. All young things are kind. All smart things are kind. All young, nice things are kind. If something is kind and rough then it is young. If something is nice and not big then it is young. If Bob is young and Bob is nice then Bob is rough. If something is rough then it is not furry. If something is young and big then it is furry.
Anne is not young.
@0: Anne is nice.[(triple2)] Anne is not furry.[(triple1)] Bob is big.[(triple3)] Bob is furry.[(triple4)] Bob is kind.[(triple5)] Bob is not young.[(triple6)] Gary is not big.[(triple7)] Gary is not furry.[(triple8)] Gary is not nice.[(triple9)] Gary is young.[(triple10)] @1: Gary is kind.[(((triple10) -> rule1))]