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