Bob is smart. Charlie is not white. Harry is smart. If someone is young and smart then they are nice. Smart people are young. All nice people are not kind.
Charlie is not nice.
@0: Bob is smart.[(triple1)] Charlie is not white.[(triple2)] Harry is smart.[(triple3)] @1: Bob is young.[(((triple1) -> rule2))] Harry is young.[(((triple3) -> rule2))] @2: Bob is nice.[(((((triple1) -> rule2) triple1) -> rule1))] Harry is nice.[(((((triple3) -> rule2) triple3) -> rule1))] @3: Bob is not kind.[(((((((triple1) -> rule2) triple1) -> rule1)) -> rule3))] Harry is not kind.[(((((((triple3) -> rule2) triple3) -> rule1)) -> rule3))]