Charlie is furry. Charlie is quiet. Charlie is smart. Erin is furry. Erin is quiet. Erin is red. Harry is furry. All red people are quiet. If someone is big and not red then they are not young. All furry people are smart. All big people are furry. If someone is red and not young then they are furry. All furry people are green. If Harry is smart and Harry is not furry then Harry is green. If Harry is young then Harry is green.
Charlie is not smart.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3 OR ((triple1) -> rule3))] Erin is furry.[(triple4)] Erin is quiet.[(triple5 OR ((triple6) -> rule1))] Erin is red.[(triple6)] Harry is furry.[(triple7)] @1: Charlie is green.[(((triple1) -> rule6))] Erin is green.[(((triple4) -> rule6))] Erin is smart.[(((triple4) -> rule3))] Harry is green.[(((triple7) -> rule6))] Harry is smart.[(((triple7) -> rule3))]