Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. If something is furry then it is red.
Charlie is not young.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple3) -> rule1))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]