Bob is big. Bob is cold. Bob is kind. Bob is quiet. Bob is round. Charlie is big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is round. Dave is blue. Dave is quiet. Harry is green. Harry is quiet. Harry is round. Cold things are kind.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule1))] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Charlie is big.[(triple6)] Charlie is blue.[(triple7)] Charlie is cold.[(triple8)] Charlie is green.[(triple9)] Charlie is kind.[(triple10 OR ((triple8) -> rule1))] Charlie is round.[(triple11)] Dave is blue.[(triple12)] Dave is quiet.[(triple13)] Harry is green.[(triple14)] Harry is quiet.[(triple15)] Harry is round.[(triple16)]