Anne is big. Anne is cold. Anne is furry. Anne is round. Anne is young. Fiona is big. Fiona is furry. Fiona is not rough. Fiona is round. Fiona is young. Furry people are white. If someone is round and cold then they are young. If someone is furry and not white then they are not rough.
Fiona is cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5 OR ((triple4 triple2) -> rule2))] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is not rough.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] @1: Anne is white.[(((triple3) -> rule1))] Fiona is white.[(((triple7) -> rule1))]