Bob is kind. Harry is red. Harry is young. If Bob is kind and Bob is not nice then Bob is round. All kind things are round. If something is quiet and not young then it is not round. All quiet things are not kind. If something is green and not red then it is kind. If Harry is round and Harry is not red then Harry is nice.
Harry is not young.
@0: Bob is kind.[(triple1)] Harry is red.[(triple2)] Harry is young.[(triple3)] @1: Bob is round.[(((triple1) -> rule2))]