Charlie is furry. Charlie is green. Charlie is not kind. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Gary is furry. Gary is green. Gary is rough. Gary is smart. Gary is white. Green, smart things are furry. Kind, young things are smart.
Charlie is furry.
@0: Charlie is furry.[(triple1 OR ((triple2 triple5) -> rule1))] Charlie is green.[(triple2)] Charlie is not kind.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Gary is furry.[(triple8 OR ((triple9 triple11) -> rule1))] Gary is green.[(triple9)] Gary is rough.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)]