Charlie is big. Charlie is red. Charlie is smart. Dave is red. Dave is rough. Dave is smart. Erin is green. Erin is kind. Erin is red. Gary is rough. If Dave is red then Dave is big.
Erin is green.
@0: Charlie is big.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is red.[(triple9)] Gary is rough.[(triple10)] @1: Dave is big.[(((triple4) -> rule1))]