Anne is not round. Anne is not smart. Anne is young. Bob is furry. Bob is smart. Bob is young. Charlie is round. Charlie is smart. Fiona is cold. Fiona is smart. Fiona is white. Fiona is not young. If someone is cold and not smart then they are not furry. Young people are cold.
Fiona is round.
@0: Anne is not round.[(triple1)] Anne is not smart.[(triple2)] Anne is young.[(triple3)] Bob is furry.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8)] Fiona is cold.[(triple9)] Fiona is not young.[(triple12)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] @1: Anne is cold.[(((triple3) -> rule2))] Bob is cold.[(((triple6) -> rule2))] @2: Anne is not furry.[(((((triple3) -> rule2) triple2) -> rule1))]