Charlie is cold. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. All round, white people are cold. Quiet people are round. If someone is young and white then they are green.
Charlie is cold.
@0: Charlie is cold.[(triple1 OR ((triple5 triple6) -> rule1) OR ((((triple3) -> rule2) triple6) -> rule1))] Charlie is green.[(triple2 OR ((triple7 triple6) -> rule3))] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple3) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7)]