Bob is blue. Bob is cold. Bob is quiet. If Bob is blue and Bob is nice then Bob is quiet. If someone is quiet then they are kind. If Bob is rough then Bob is cold. Rough, nice people are kind. Blue, nice people are cold. All nice, rough people are quiet.
Bob is quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] @1: Bob is kind.[(((triple3) -> rule2))]