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