Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Charlie is not big. Charlie is green. Erin is cold. Erin is green. Erin is kind. Erin is nice. Harry is rough. If something is kind then it is big.
Erin is not rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Charlie is green.[(triple7)] Charlie is not big.[(triple6)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Harry is rough.[(triple12)] @1: Anne is big.[(((triple3) -> rule1))] Erin is big.[(((triple10) -> rule1))]