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 big.
@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))]