Bob is not blue. Bob is smart. Bob is young. Charlie is blue. Charlie is not quiet. Charlie is not red. Charlie is young. Erin is not blue. Erin is quiet. Erin is smart. If Erin is not blue then Erin is young. If Bob is blue and Bob is round then Bob is not young.
Bob is not young.
@0: Bob is not blue.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is not red.[(triple6)] Charlie is young.[(triple7)] Erin is not blue.[(triple8)] Erin is quiet.[(triple9)] Erin is smart.[(triple10)] @1: Erin is young.[(((triple8) -> rule1))]