Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. If someone is smart and white then they are green. If Charlie is furry and Charlie is young then Charlie is white. All nice people are green.
Charlie is not green.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2 OR ((triple4) -> rule3) OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple1 triple7) -> rule2)) -> rule1))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple1 triple7) -> rule2))] Charlie is young.[(triple7)]