Bob is green. Bob is quiet. Bob is smart. Bob is young. Charlie is big. Charlie is green. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is white. Dave is quiet. Dave is round. All round people are smart. If Dave is white then Dave is quiet. If someone is green and round then they are quiet.
Dave is white.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7 OR ((triple6 triple8) -> rule3))] Charlie is round.[(triple8)] Charlie is smart.[(triple9 OR ((triple8) -> rule1))] Charlie is white.[(triple10)] Dave is quiet.[(triple11)] Dave is round.[(triple12)] @1: Dave is smart.[(((triple12) -> rule1))]