Bob is cold. Bob is quiet. Bob is smart. Dave is big. Dave is quiet. Dave is rough. Dave is smart. All big, red people are white. All smart people are cold. Rough, big people are cold.
Bob is not smart.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule2))] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Dave is big.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] @1: Dave is cold.[(((triple7) -> rule2) OR ((triple6 triple4) -> rule3))]