Bob is quiet. Bob is rough. Bob is smart. Bob is young. Charlie is not nice. Erin is cold. Erin is young. If something is cold and not smart then it is not nice. Smart things are not nice. If Bob is not white then Bob is rough. If Bob is cold then Bob is not nice. If Erin is cold and Erin is quiet then Erin is young. All white things are quiet. If something is quiet and not rough then it is young. If something is white then it is young.
Bob is not smart.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4)] Charlie is not nice.[(triple5)] Erin is cold.[(triple6)] Erin is young.[(triple7)] @1: Bob is not nice.[(((triple3) -> rule2))]