Bob is furry. Bob is not red. Bob is smart. If someone is quiet then they are red. All furry people are young. If someone is quiet and not red then they are not young. All red people are furry. If someone is young and red then they are furry. If Bob is smart and Bob is not furry then Bob is not blue.
Bob is not round.
@0: Bob is furry.[(triple1)] Bob is not red.[(triple2)] Bob is smart.[(triple3)] @1: Bob is young.[(((triple1) -> rule2))]