Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. If Charlie is blue and Charlie is green then Charlie is red. If someone is red and young then they are blue.
Charlie is not smart.
@0: Charlie is blue.[(triple1 OR ((triple5 triple7) -> rule2))] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1 triple2) -> rule1))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]