Charlie is not blue. Charlie is not round. Charlie is not young. Dave is big. Dave is kind. Erin is big. Erin is blue. Erin is kind. Erin is not rough. Erin is round. Erin is smart. Erin is young. If something is rough and blue then it is big. Rough things are not big. If Dave is rough then Dave is kind. If Dave is rough then Dave is kind. If something is kind then it is blue. If something is big and not smart then it is round.
Dave is not blue.
@0: Charlie is not blue.[(triple1)] Charlie is not round.[(triple2)] Charlie is not young.[(triple3)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple8) -> rule5))] Erin is kind.[(triple8)] Erin is not rough.[(triple9)] Erin is round.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)] @1: Dave is blue.[(((triple5) -> rule5))]