Bob is quiet. Bob is rough. Bob is young. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is young. If something is young and cold then it is blue.
Charlie is not blue.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3)] Charlie is cold.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is young.[(triple12)] @1: Erin is blue.[(((triple12 triple8) -> rule1))]