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