Bob is cold. Bob is rough. Bob is round. Bob is not young. Charlie is big. Charlie is green. Charlie is round. Erin is big. Erin is cold. Erin is green. Erin is smart. Erin is young. All smart, round people are big. All rough, round people are not green.
Erin is round.
@0: Bob is cold.[(triple1)] Bob is not young.[(triple4)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is round.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)] @1: Bob is not green.[(((triple2 triple3) -> rule2))]