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