Bob is big. Bob is blue. Bob is quiet. Bob is smart. Bob is white. Charlie is blue. Charlie is kind. Charlie is smart. Charlie is white. Dave is kind. Dave is quiet. Dave is white. Erin is big. Erin is blue. Erin is kind. Erin is white. Big, red things are blue. Big, quiet things are white.
Dave is white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5 OR ((triple1 triple3) -> rule2))] Charlie is blue.[(triple6)] Charlie is kind.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11)] Dave is white.[(triple12)] Erin is big.[(triple13)] Erin is blue.[(triple14)] Erin is kind.[(triple15)] Erin is white.[(triple16)]