Bob is green. Bob is quiet. Bob is red. Bob is smart. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is young. If something is smart then it is quiet. Young things are green.
Dave is not cold.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2 OR ((triple4) -> rule1))] Bob is red.[(triple3)] Bob is smart.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7 OR ((triple9) -> rule1))] Dave is red.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] @1: Dave is green.[(((triple10) -> rule2))]