Anne is rough. Bob is nice. Charlie is red. Dave is round. If someone is nice then they are kind. All rough people are nice. Round people are rough.
Dave is kind.
@0: Anne is rough.[(triple1)] Bob is nice.[(triple2)] Charlie is red.[(triple3)] Dave is round.[(triple4)] @1: Anne is nice.[(((triple1) -> rule2))] Bob is kind.[(((triple2) -> rule1))] Dave is rough.[(((triple4) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule2)) -> rule1))] Dave is nice.[(((((triple4) -> rule3)) -> rule2))] @3: Dave is kind.[(((((((triple4) -> rule3)) -> rule2)) -> rule1))]