Anne is red. Charlie is smart. Dave is nice. All nice things are red. All smart things are kind. Round things are kind. All nice things are rough. All nice, round things are not rough. If something is smart and not round then it is not quiet. Round, smart things are not nice. All rough, red things are smart.
Charlie is not kind.
@0: Anne is red.[(triple1)] Charlie is smart.[(triple2)] Dave is nice.[(triple3)] @1: Charlie is kind.[(((triple2) -> rule2))] Dave is red.[(((triple3) -> rule1))] Dave is rough.[(((triple3) -> rule4))] @2: Dave is smart.[(((((triple3) -> rule4) ((triple3) -> rule1)) -> rule8))] @3: Dave is kind.[(((((((triple3) -> rule4) ((triple3) -> rule1)) -> rule8)) -> rule2))]