Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Dave is kind. Dave is red. Dave is round. Erin is big. Erin is furry. Erin is kind. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is smart. Nice, smart things are big. Big, round things are furry.
Gary is round.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Erin is big.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Gary is big.[(triple11 OR ((triple14 triple16) -> rule1))] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15)] Gary is smart.[(triple16)]