Anne is cold. Anne is green. Anne is nice. Anne is round. Anne is smart. Anne is white. Bob is cold. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Fiona is green. Fiona is round. Fiona is white. Harry is green. Harry is round. White, cold people are round. All smart, round people are white. Cold, green people are smart.
Fiona is quiet.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4 OR ((triple6 triple1) -> rule1))] Anne is smart.[(triple5 OR ((triple1 triple2) -> rule3))] Anne is white.[(triple6 OR ((triple5 triple4) -> rule2) OR ((((triple1 triple2) -> rule3) triple4) -> rule2))] Bob is cold.[(triple7)] Bob is nice.[(triple8)] Bob is quiet.[(triple9)] Bob is smart.[(triple10)] Bob is white.[(triple11)] Fiona is green.[(triple12)] Fiona is round.[(triple13)] Fiona is white.[(triple14)] Harry is green.[(triple15)] Harry is round.[(triple16)] @1: Bob is round.[(((triple11 triple7) -> rule1))]