Anne is cold. Anne is green. Anne is nice. Bob is round. Fiona is furry. Fiona is not smart. Gary is blue. Gary is cold. Gary is nice. Gary is smart. Nice things are furry.
Bob is not furry.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Bob is round.[(triple4)] Fiona is furry.[(triple5)] Fiona is not smart.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Anne is furry.[(((triple3) -> rule1))] Gary is furry.[(((triple9) -> rule1))]