Anne is nice. Anne is young. Bob is furry. Bob is nice. Bob is round. Bob is white. Charlie is white. Fiona is furry. Fiona is nice. Fiona is young. All white people are round. If someone is nice and young then they are white.
Anne is not blue.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is round.[(triple5 OR ((triple6) -> rule1))] Bob is white.[(triple6)] Charlie is white.[(triple7)] Fiona is furry.[(triple8)] Fiona is nice.[(triple9)] Fiona is young.[(triple10)] @1: Anne is white.[(((triple1 triple2) -> rule2))] Charlie is round.[(((triple7) -> rule1))] Fiona is white.[(((triple9 triple10) -> rule2))] @2: Anne is round.[(((((triple1 triple2) -> rule2)) -> rule1))] Fiona is round.[(((((triple9 triple10) -> rule2)) -> rule1))]