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