Anne is not blue. Anne is round. Bob is white. Charlie is young. Fiona is nice. Fiona is white. Fiona is young. Round people are furry. All white people are furry. Big, white people are not blue. If someone is white and not nice then they are blue. If Charlie is round and Charlie is white then Charlie is not furry. All furry, white people are big.
Anne is not round.
@0: Anne is not blue.[(triple1)] Anne is round.[(triple2)] Bob is white.[(triple3)] Charlie is young.[(triple4)] Fiona is nice.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] @1: Anne is furry.[(((triple2) -> rule1))] Bob is furry.[(((triple3) -> rule2))] Fiona is furry.[(((triple6) -> rule2))] @2: Bob is big.[(((((triple3) -> rule2) triple3) -> rule6))] Fiona is big.[(((((triple6) -> rule2) triple6) -> rule6))] @3: Bob is not blue.[(((((((triple3) -> rule2) triple3) -> rule6) triple3) -> rule3))] Fiona is not blue.[(((((((triple6) -> rule2) triple6) -> rule6) triple6) -> rule3))]