Charlie is big. Charlie is green. Charlie is nice. Charlie is round. Charlie is smart. Erin is nice. Erin is round. Fiona is big. Fiona is kind. Fiona is nice. Fiona is round. Gary is kind. Gary is rough. Gary is round. Gary is smart. Rough, round people are nice. If Erin is green then Erin is rough. Nice, rough people are big.
Charlie is green.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Erin is nice.[(triple6)] Erin is round.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is round.[(triple11)] Gary is kind.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] @1: Gary is nice.[(((triple13 triple14) -> rule1))] @2: Gary is big.[(((((triple13 triple14) -> rule1) triple13) -> rule3))]