Anne is round. Anne is young. Bob is big. Bob is furry. Bob is smart. Bob is white. Charlie is big. Big people are green. If Charlie is young then Charlie is green. If Charlie is green then Charlie is furry. If someone is round and green then they are furry. If someone is furry and green then they are white. If Charlie is big and Charlie is green then Charlie is smart.
Anne is not furry.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Bob is big.[(triple3)] Bob is furry.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple4 ((triple3) -> rule1)) -> rule5))] Charlie is big.[(triple7)] @1: Bob is green.[(((triple3) -> rule1))] Charlie is green.[(((triple7) -> rule1))] @2: Charlie is furry.[(((((triple7) -> rule1)) -> rule3))] Charlie is smart.[(((triple7 ((triple7) -> rule1)) -> rule6))] @3: Charlie is white.[(((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule5))]