Anne is big. Anne is green. Anne is nice. Erin is big. Erin is cold. Erin is kind. Erin is nice. Fiona is not green. Fiona is nice. Fiona is quiet. All cold people are quiet.
Erin is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Fiona is nice.[(triple9)] Fiona is not green.[(triple8)] Fiona is quiet.[(triple10)] @1: Erin is quiet.[(((triple5) -> rule1))]