Bob is blue. Bob is kind. Bob is nice. If Bob is nice and Bob is quiet then Bob is kind. All blue, nice people are green. Blue, quiet people are green. All green people are not furry. If someone is quiet and not nice then they are furry. If someone is nice and not kind then they are blue.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] @1: Bob is green.[(((triple1 triple3) -> rule2))] @2: Bob is not furry.[(((((triple1 triple3) -> rule2)) -> rule4))]