Bob is white. Dave is green. Dave is smart. Dave is white. Erin is green. Erin is rough. Erin is round. Erin is smart. Gary is green. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. Gary is young. If something is round and young then it is rough.
Gary is round.
@0: Bob is white.[(triple1)] Dave is green.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Erin is green.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Gary is green.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11 OR ((triple12 triple15) -> rule1))] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)]