Anne is blue. Anne is cold. Anne is red. Anne is round. Anne is smart. Anne is white. Anne is young. Fiona is blue. Fiona is cold. Fiona is red. Fiona is white. Fiona is young. Cold, smart people are white. All cold, red people are white.
Fiona is smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple2 triple5) -> rule1))] Anne is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is red.[(triple10)] Fiona is white.[(triple11 OR ((triple9 triple10) -> rule2))] Fiona is young.[(triple12)]