Charlie is cold. Charlie is green. Charlie is nice. All green, nice people are blue. All smart, rough people are round. Blue people are smart. Nice people are blue. If Charlie is green then Charlie is blue. If someone is rough and round then they are cold.
Charlie is nice.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] @1: Charlie is blue.[(((triple2) -> rule5) OR ((triple3) -> rule4) OR ((triple2 triple3) -> rule1))] @2: Charlie is smart.[(((((triple2) -> rule5)) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((((triple2 triple3) -> rule1)) -> rule3))]