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