Anne is green. Charlie is nice. Erin is green. Fiona is smart. If someone is young then they are cold. Furry people are cold. Green people are smart. If someone is round and green then they are cold. If someone is young then they are green. If Fiona is furry and Fiona is green then Fiona is smart.
Anne is furry.
@0: Anne is green.[(triple1)] Charlie is nice.[(triple2)] Erin is green.[(triple3)] Fiona is smart.[(triple4)] @1: Anne is smart.[(((triple1) -> rule3))] Erin is smart.[(((triple3) -> rule3))]