Bob is cold. Bob is quiet. Bob is white. Charlie is big. Charlie is rough. Charlie is smart. Charlie is white. Dave is big. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is white. Gary is red. Gary is smart. If Dave is rough then Dave is cold. Smart things are white.
Charlie is red.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3)] Charlie is big.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple6) -> rule2))] Dave is big.[(triple8)] Dave is cold.[(triple9 OR ((triple12) -> rule1))] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is rough.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14 OR ((triple13) -> rule2))] Gary is red.[(triple15)] Gary is smart.[(triple16)] @1: Gary is white.[(((triple16) -> rule2))]