Bob is rough. Bob is white. Bob is young. Charlie is big. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Dave is not big. Dave is blue. Dave is kind. Dave is rough. Dave is smart. Dave is white. Erin is smart. All big, smart things are blue. Smart things are blue.
Charlie is not young.
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Dave is blue.[(triple10 OR ((triple13) -> rule2))] Dave is kind.[(triple11)] Dave is not big.[(triple9)] Dave is rough.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14)] Erin is smart.[(triple15)] @1: Charlie is blue.[(((triple6) -> rule2) OR ((triple4 triple6) -> rule1))] Erin is blue.[(((triple15) -> rule2))]