Anne is cold. Anne is kind. Anne is quiet. Anne is young. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is round. Fiona is cold. Fiona is nice. Fiona is quiet. Young things are round. Cold, nice things are kind. Quiet, white things are nice.
Anne is quiet.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is young.[(triple4)] Bob is cold.[(triple5)] Bob is kind.[(triple6 OR ((triple5 triple7) -> rule2))] Bob is nice.[(triple7)] Bob is quiet.[(triple8)] Bob is round.[(triple9)] Fiona is cold.[(triple10)] Fiona is nice.[(triple11)] Fiona is quiet.[(triple12)] @1: Anne is round.[(((triple4) -> rule1))] Fiona is kind.[(((triple10 triple11) -> rule2))]