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