Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is white. Bob is young. If something is white then it is quiet. If Bob is cold then Bob is rough. All rough, white things are green.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple5 triple6) -> rule3) OR ((((triple1) -> rule2) triple6) -> rule3))] Bob is quiet.[(triple3 OR ((triple6) -> rule1))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple1) -> rule2))] Bob is white.[(triple6)] Bob is young.[(triple7)]