Bob is blue. Bob is cold. Bob is red. If Bob is cold then Bob is blue. If Bob is rough and Bob is blue then Bob is quiet. All rough things are quiet. All blue, quiet things are nice. Nice things are quiet. If Bob is quiet then Bob is cold.
Bob is rough.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule1))] Bob is cold.[(triple2)] Bob is red.[(triple3)]