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