Bob is blue. Bob is cold. Bob is quiet. Bob is white. Bob is young. Dave is blue. Dave is cold. Dave is young. Harry is big. Harry is blue. Harry is cold. Harry is quiet. Harry is round. Harry is white. Harry is young. If someone is blue and white then they are cold. Quiet people are young. If Bob is blue and Bob is quiet then Bob is round.
Dave is not white.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1 triple4) -> rule1))] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5 OR ((triple3) -> rule2))] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is young.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple10 triple14) -> rule1))] Harry is quiet.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15 OR ((triple12) -> rule2))] @1: Bob is round.[(((triple1 triple3) -> rule3))]