Anne is green. Anne is kind. Bob is round. If someone is young then they are quiet. If Bob is not young then Bob is kind. All blue, young people are green. If Bob is not round then Bob is not blue. If Bob is round and Bob is blue then Bob is quiet. If someone is blue and not young then they are red. If someone is green then they are not red. Round people are not red.
Bob is not round.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Bob is round.[(triple3)] @1: Anne is not red.[(((triple1) -> rule7))] Bob is not red.[(((triple3) -> rule8))]