Bob is white. Charlie is kind. Dave is big. Gary is rough. If someone is white then they are rough. All round people are big. If someone is smart and not round then they are big.
Dave is not rough.
@0: Bob is white.[(triple1)] Charlie is kind.[(triple2)] Dave is big.[(triple3)] Gary is rough.[(triple4)] @1: Bob is rough.[(((triple1) -> rule1))]