Anne is big. Anne is cold. Anne is furry. Charlie is big. Charlie is not cold. Dave is furry. Dave is nice. Dave is not quiet. Dave is smart. Fiona is quiet. Fiona is smart. Furry, white people are cold. Furry, quiet people are white. Quiet people are white. All white, quiet people are nice. White, nice people are furry. All cold people are big.
Fiona is not white.
@0: Anne is big.[(triple1 OR ((triple2) -> rule6))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Charlie is big.[(triple4)] Charlie is not cold.[(triple5)] Dave is furry.[(triple6)] Dave is nice.[(triple7)] Dave is not quiet.[(triple8)] Dave is smart.[(triple9)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11)] @1: Fiona is white.[(((triple10) -> rule3))] @2: Fiona is nice.[(((((triple10) -> rule3) triple10) -> rule4))] @3: Fiona is furry.[(((((triple10) -> rule3) ((((triple10) -> rule3) triple10) -> rule4)) -> rule5))] @4: Fiona is cold.[(((((((triple10) -> rule3) ((((triple10) -> rule3) triple10) -> rule4)) -> rule5) ((triple10) -> rule3)) -> rule1))] @5: Fiona is big.[(((((((((triple10) -> rule3) ((((triple10) -> rule3) triple10) -> rule4)) -> rule5) ((triple10) -> rule3)) -> rule1)) -> rule6))]