Bob is young. Charlie is kind. Charlie is young. Dave is big. Harry is quiet. Harry is smart. Harry is young. If someone is smart and quiet then they are nice. If someone is blue and young then they are nice.
Charlie is not nice.
@0: Bob is young.[(triple1)] Charlie is kind.[(triple2)] Charlie is young.[(triple3)] Dave is big.[(triple4)] Harry is quiet.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7)] @1: Harry is nice.[(((triple6 triple5) -> rule1))]