Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Charlie is kind. Charlie is smart. If Charlie is smart then Charlie is nice.
Bob is not quiet.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Charlie is kind.[(triple6)] Charlie is smart.[(triple7)] @1: Charlie is nice.[(((triple7) -> rule1))]