Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Dave is big. Dave is cold. Dave is rough. Dave is smart. Harry is cold. Harry is kind. Harry is red. Harry is rough. Smart, kind people are blue. If someone is red and cold then they are rough. If Dave is kind then Dave is cold.
Charlie is not blue.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple7 triple4) -> rule1))] Charlie is cold.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple5 triple3) -> rule2))] Charlie is smart.[(triple7)] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is rough.[(triple10)] Dave is smart.[(triple11)] Harry is cold.[(triple12)] Harry is kind.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15 OR ((triple14 triple12) -> rule2))]