Charlie is round. Dave is not red. If Charlie is rough then Charlie is kind. Blue things are not rough. Round things are rough. All kind things are red. If something is white then it is not red. If Dave is rough then Dave is white.
Charlie is round.
@0: Charlie is round.[(triple1)] Dave is not red.[(triple2)] @1: Charlie is rough.[(((triple1) -> rule3))] @2: Charlie is kind.[(((((triple1) -> rule3)) -> rule1))] @3: Charlie is red.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))]