Anne is big. Anne is cold. Anne is green. Anne is rough. Charlie is big. Charlie is furry. Charlie is rough. Fiona is big. Fiona is cold. Fiona is young. Harry is green. Harry is young. If someone is blue then they are furry. If someone is cold and rough then they are furry. All young, blue people are furry.
Fiona is cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Charlie is rough.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is young.[(triple10)] Harry is green.[(triple11)] Harry is young.[(triple12)] @1: Anne is furry.[(((triple2 triple4) -> rule2))]