Anne is young. Dave is kind. Dave is red. Dave is round. Dave is young. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Young, red people are cold.
Dave is not cold.
@0: Anne is young.[(triple1)] Dave is kind.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is young.[(triple5)] Fiona is cold.[(triple6 OR ((triple12 triple9) -> rule1))] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Dave is cold.[(((triple5 triple3) -> rule1))]