Gary is big. Harry is not kind. Green, big people are kind. Big people are not kind. If Harry is kind then Harry is cold. If someone is furry then they are cold. All nice, smart people are not cold. If someone is furry then they are not smart. Green, smart people are furry. If someone is big and not kind then they are furry.
Gary is not kind.
@0: Gary is big.[(triple1)] Harry is not kind.[(triple2)] @1: Gary is not kind.[(((triple1) -> rule2))] @2: Gary is furry.[(((triple1 ((triple1) -> rule2)) -> rule8))] @3: Gary is cold.[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule4))] Gary is not smart.[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule6))]