Anne is big. Anne is kind. Anne is quiet. Anne is round. Charlie is kind. Charlie is round. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is round. All kind, white people are rough. Rough people are cold. Big people are white.
Fiona is rough.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Charlie is kind.[(triple5)] Charlie is round.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] @1: Anne is white.[(((triple1) -> rule3))] Fiona is white.[(((triple7) -> rule3))] @2: Anne is rough.[(((triple2 ((triple1) -> rule3)) -> rule1))] Fiona is rough.[(((triple8 ((triple7) -> rule3)) -> rule1))] @3: Anne is cold.[(((((triple2 ((triple1) -> rule3)) -> rule1)) -> rule2))] Fiona is cold.[(((((triple8 ((triple7) -> rule3)) -> rule1)) -> rule2))]