Bob is young. Charlie is not kind. Dave is young. Harry is blue. Blue things are big. If something is kind and not blue then it is young. If something is rough then it is white. If something is rough and not big then it is not white. If something is big and young then it is kind. If something is smart and not big then it is not kind. Rough things are kind. Smart, young things are not rough.
Charlie is big.
@0: Bob is young.[(triple1)] Charlie is not kind.[(triple2)] Dave is young.[(triple3)] Harry is blue.[(triple4)] @1: Harry is big.[(((triple4) -> rule1))]