Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Dave is nice. Dave is round. Erin is furry. Erin is kind. Erin is round. Gary is green. Gary is kind. Gary is nice. If something is kind and round then it is rough. All rough, round things are big.
Erin is not rough.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Dave is nice.[(triple5)] Dave is round.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple8)] Erin is round.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] @1: Charlie is big.[(((triple3 triple4) -> rule2))] Erin is rough.[(((triple8 triple9) -> rule1))] @2: Erin is big.[(((((triple8 triple9) -> rule1) triple9) -> rule2))]