Bob is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Fiona is cold. Harry is cold. All red things are smart. All smart things are rough. Red things are smart.
Bob is red.
@0: Bob is cold.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4 OR ((triple5) -> rule2))] Dave is smart.[(triple5)] Fiona is cold.[(triple6)] Harry is cold.[(triple7)]