Anne is not blue. Anne is smart. Anne is young. Bob is big. Bob is blue. Bob is not kind. Bob is nice. Bob is not smart. Charlie is nice. Erin is big. Erin is not nice. Erin is young. If Anne is not smart then Anne is young. Nice, kind people are blue. All nice, blue people are young.
Charlie is not blue.
@0: Anne is not blue.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5)] Bob is nice.[(triple7)] Bob is not kind.[(triple6)] Bob is not smart.[(triple8)] Charlie is nice.[(triple9)] Erin is big.[(triple10)] Erin is not nice.[(triple11)] Erin is young.[(triple12)] @1: Bob is young.[(((triple7 triple5) -> rule3))]