Anne is kind. Anne is nice. Anne is round. Dave is nice. Dave is round. Dave is white. Erin is nice. Erin is smart. Erin is white. Fiona is furry. Fiona is smart. Fiona is white. All white people are young. All furry, white people are smart. Young, kind people are smart. If someone is round and not furry then they are white. All nice people are white. If someone is kind then they are round.
Fiona is kind.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3 OR ((triple1) -> rule6))] Dave is nice.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple4) -> rule5))] Erin is nice.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9 OR ((triple7) -> rule5))] Fiona is furry.[(triple10)] Fiona is smart.[(triple11 OR ((triple10 triple12) -> rule2))] Fiona is white.[(triple12)] @1: Anne is white.[(((triple2) -> rule5))] Dave is young.[(((triple6) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] Erin is young.[(((triple9) -> rule1) OR ((((triple7) -> rule5)) -> rule1))] Fiona is young.[(((triple12) -> rule1))] @2: Anne is young.[(((((triple2) -> rule5)) -> rule1))] @3: Anne is smart.[(((((((triple2) -> rule5)) -> rule1) triple1) -> rule3))]