Bob is young. Dave is blue. Erin is blue. If Bob is red and Bob is white then Bob is cold. If someone is blue and red then they are kind. All blue people are not kind. If someone is cold and not young then they are quiet. If Bob is blue then Bob is quiet. If Bob is not red then Bob is blue.
Bob is not blue.
@0: Bob is young.[(triple1)] Dave is blue.[(triple2)] Erin is blue.[(triple3)] @1: Dave is not kind.[(((triple2) -> rule3))] Erin is not kind.[(((triple3) -> rule3))]