Charlie is quiet. Charlie is red. Charlie is rough. If Charlie is nice and Charlie is kind then Charlie is smart. Red people are kind. All smart, rough people are nice. Rough, kind people are round. Round people are smart. If Charlie is kind then Charlie is red.
Charlie is kind.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] @1: Charlie is kind.[(((triple2) -> rule2))] @2: Charlie is round.[(((triple3 ((triple2) -> rule2)) -> rule4))] @3: Charlie is smart.[(((((triple3 ((triple2) -> rule2)) -> rule4)) -> rule5))] @4: Charlie is nice.[(((((((triple3 ((triple2) -> rule2)) -> rule4)) -> rule5) triple3) -> rule3))]