Anne is big. Anne is cold. Anne is quiet. Anne is smart. Anne is white. Anne is young. Dave is big. Dave is quiet. Dave is round. Dave is smart. Dave is white. Dave is young. All white, quiet things are young. Round things are cold. Big, round things are young.
Anne is smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple5 triple3) -> rule1))] Dave is big.[(triple7)] Dave is quiet.[(triple8)] Dave is round.[(triple9)] Dave is smart.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12 OR ((triple11 triple8) -> rule1) OR ((triple7 triple9) -> rule3))] @1: Dave is cold.[(((triple9) -> rule2))]