Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is rough. Erin is smart. Erin is young. Cold, blue things are furry.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple2 triple1) -> rule1))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is furry.[(triple10 OR ((triple9 triple8) -> rule1))] Erin is quiet.[(triple11)] Erin is rough.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14)]