Charlie is big. Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is white. Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is not quiet. Harry is red. Harry is white. All green things are kind.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple3) -> rule1))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is white.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11 OR ((triple10) -> rule1))] Harry is not quiet.[(triple12)] Harry is red.[(triple13)] Harry is white.[(triple14)]