Bob is blue. Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is white. Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is white. Fiona is cold. If someone is cold and blue then they are red. All white, red people are smart.
Dave is not quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple2 triple1) -> rule1))] Bob is white.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is white.[(triple11)] Fiona is cold.[(triple12)] @1: Bob is smart.[(((triple6 triple5) -> rule2) OR ((triple6 ((triple2 triple1) -> rule1)) -> rule2))] Dave is smart.[(((triple11 triple10) -> rule2))]