Bob is kind. Bob is rough. Fiona is not young. If something is kind then it is quiet. Smart things are not nice. If something is kind then it is not smart.
Bob is rough.
@0: Bob is kind.[(triple1)] Bob is rough.[(triple2)] Fiona is not young.[(triple3)] @1: Bob is not smart.[(((triple1) -> rule3))] Bob is quiet.[(((triple1) -> rule1))]