Anne is big. Anne is round. Bob is not cold. Bob is green. Bob is quiet. Bob is round. Bob is young. Charlie is not blue. Erin is cold. Erin is young. Cold people are green.
Bob is cold.
@0: Anne is big.[(triple1)] Anne is round.[(triple2)] Bob is green.[(triple4)] Bob is not cold.[(triple3)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Charlie is not blue.[(triple8)] Erin is cold.[(triple9)] Erin is young.[(triple10)] @1: Erin is green.[(((triple9) -> rule1))]