Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is smart. Charlie is young. If someone is young then they are furry. Cold, blue people are big. Smart people are green.
Charlie is smart.
@0: Charlie is big.[(triple1 OR ((triple3 triple2) -> rule2))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4 OR ((triple7) -> rule1))] Charlie is green.[(triple5 OR ((triple6) -> rule3))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]