Bob is big. Bob is cold. Bob is green. Bob is round. Bob is white. Dave is big. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is white. If something is cold then it is quiet. All white, quiet things are cold.
Bob is green.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7 OR ((triple12 triple9) -> rule2))] Dave is green.[(triple8)] Dave is quiet.[(triple9 OR ((triple7) -> rule1))] Dave is rough.[(triple10)] Dave is round.[(triple11)] Dave is white.[(triple12)] @1: Bob is quiet.[(((triple2) -> rule1))]