Anne is not cold. Anne is green. Anne is not white. Anne is young. Bob is big. Bob is young. Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is not round. Charlie is young. Erin is kind. Erin is round. Erin is young. Round people are big. Cold people are green. If Anne is not green then Anne is big.
Erin is round.
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Anne is not white.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is young.[(triple6)] Charlie is big.[(triple7)] Charlie is cold.[(triple8)] Charlie is green.[(triple9 OR ((triple8) -> rule2))] Charlie is kind.[(triple10)] Charlie is not round.[(triple11)] Charlie is young.[(triple12)] Erin is kind.[(triple13)] Erin is round.[(triple14)] Erin is young.[(triple15)] @1: Erin is big.[(((triple14) -> rule1))]