Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Charlie is smart. All green things are kind.
Charlie is green.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple3) -> rule1))] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]