Bob is smart. Charlie is kind. Gary is round. If someone is quiet then they are smart. Round people are smart.
Charlie is not smart.
@0: Bob is smart.[(triple1)] Charlie is kind.[(triple2)] Gary is round.[(triple3)] @1: Gary is smart.[(((triple3) -> rule2))]