Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. All furry things are red. If Charlie is green then Charlie is red. Quiet, red things are rough.
Charlie is quiet.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1) -> rule1) OR ((triple2) -> rule2))] Charlie is rough.[(triple6 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple1) -> rule1)) -> rule3) OR ((triple4 ((triple2) -> rule2)) -> rule3))] Charlie is smart.[(triple7)]