Anne is blue. Bob is kind. Fiona is smart. Harry is rough. If Fiona is furry then Fiona is cold. If Anne is smart and Anne is kind then Anne is furry. Blue people are rough. If someone is furry then they are young. Young people are cold. If Anne is furry and Anne is rough then Anne is blue.
Fiona is smart.
@0: Anne is blue.[(triple1)] Bob is kind.[(triple2)] Fiona is smart.[(triple3)] Harry is rough.[(triple4)] @1: Anne is rough.[(((triple1) -> rule3))]